mmio              273 core/kbd_common.c     volatile int *mmio = (void*)USB_MMIO;
mmio              274 core/kbd_common.c     return(( *mmio & USB_MASK)==USB_MASK);