i just found a comment i wrote a couple days ago:
// This GPIO read takes a long time.
*b = self.d0.backing_reg();
if i remember correctly, in this case "a long time" means "eighteen nanoseconds" (the time light takes to travel 5.4 meters). obviously this performance is completely unacceptable & i will be taking drastic measures in the next hardware revision to address it