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