Searched refs:maxphysaddr (Results 1 – 1 of 1) sorted by relevance
1223 paddr_t maxphysaddr; in ka_init() local1227 maxphysaddr = mmu_ptob((paddr_t)physmax) + MMU_PAGEOFFSET; in ka_init()1229 maxphysaddr = mmu_ptob((paddr_t)HYPERVISOR_memory_op( in ka_init()1233 ASSERT(maxphysaddr <= io_arena_params[0].io_limit); in ka_init()1236 if (maxphysaddr >= io_arena_params[a + 1].io_limit) { in ka_init()1237 if (maxphysaddr > io_arena_params[a + 1].io_limit) in ka_init()1238 io_arena_params[a].io_limit = maxphysaddr; in ka_init()