Arduino Portenta C33 pins in Arduino IDE 2.3.0

I need to use D11 and D12 but the IDE does not recognize those designations. It recognizes D1 through D7 word fine. How do I identify pins D11 and D12 in the IDE??
Was this page helpful?