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