mmb_addr_t mapped_to_mmb(void *mapped_addr) { hil_mmb_t *mmb; mmb = hil_mmb_getby_kvirt(mapped_addr); if(mmb ==NULL) return MMB_ADDR_INVALID; return hil_mmb_phys(mmb); }
static mmb_addr_t new_mmb(const char *name, int size, unsigned long align, const char *zone_name) { hil_mmb_t *mmb; mmb = hil_mmb_alloc(name, size, align, 0, zone_name); if(mmb ==NULL) return MMB_ADDR_INVALID; return (mmb_addr_t)hil_mmb_phys(mmb); }