PMBM_IOBase
machine_bootmap[PMBM_IOBase].pmbm_vaddr = (vaddr_t)IOBase;
machine_bootmap[PMBM_IOBase].pmbm_paddr = (paddr_t)IOBase;