mmu_next_region
while (mmu_next_region(&cookie, &vaddr, &paddr, &size)) {
while (mmu_next_region(&cookie, &vaddr, &paddr, &size)) {
while (mmu_next_region(&cookie, &virtAdr, &physAdr, &size)) {
while (mmu_next_region(&cookie, &vaddr, &paddr, &size)) {
bool mmu_next_region(void** cookie, addr_t* vaddr, phys_addr_t* paddr, size_t* size);