Let's take a standard Arduino Uno, so clocked at 16 MHz and using the Arduino libraries.
BTW, I have just noticed the sticked I/O Benchmarks post, it says for the Uno:
Digital Pin Read Takes About 4.78 Microseconds.
So it seems I have my answer: almost 5 us! Sorry I didn't notice that before .