Searched refs:maxphysaddr (Results 1 – 1 of 1) sorted by relevance
1222 paddr_t maxphysaddr; in ka_init() local1226 maxphysaddr = mmu_ptob((paddr_t)physmax) + MMU_PAGEOFFSET; in ka_init()1228 maxphysaddr = mmu_ptob((paddr_t)HYPERVISOR_memory_op( in ka_init()1232 ASSERT(maxphysaddr <= io_arena_params[0].io_limit); in ka_init()1235 if (maxphysaddr >= io_arena_params[a + 1].io_limit) { in ka_init()1236 if (maxphysaddr > io_arena_params[a + 1].io_limit) in ka_init()1237 io_arena_params[a].io_limit = maxphysaddr; in ka_init()