micros() Resolution for Arduino Portenta H7

Hello:

Is there any way to know the resolution of micros() for the Arduino Portenta H7. I have checked for other boards e.g. Nano which is mentioned as 4 uS. However, I couldn't find one for Portenta H7.
Is there any way to measure or look for that

Thank you

You can figure out the overhead of micros().

unit32_t firstMicrosReading = micros();
unit32_t secondMicrosReading = micros();

Serial.println( secondsMicrosReading - firstMicrosReading );

will give you the operational resolution you'll get with micros().

The resolution is 1us.

Which can be used to adjust the microsecond drift.