One of the things I'm considering is to change the drivers to access all
   device registers through the passthrough ASIs so the registers never need
   to be mapped in.  The problem is that then I would need to rewrite all
   drivers to properly use the bus_space_{read,write}*() macros for all
   register accesses.



problem!?  this would be excellent, not a problem!  :-)