Searched refs:maxphysaddr (Results 1 – 1 of 1) sorted by relevance
1210 paddr_t maxphysaddr; in ka_init() local1214 maxphysaddr = mmu_ptob((paddr_t)physmax) + MMU_PAGEOFFSET; in ka_init()1216 maxphysaddr = mmu_ptob((paddr_t)HYPERVISOR_memory_op( in ka_init()1220 ASSERT(maxphysaddr <= io_arena_params[0].io_limit); in ka_init()1223 if (maxphysaddr >= io_arena_params[a + 1].io_limit) { in ka_init()1224 if (maxphysaddr > io_arena_params[a + 1].io_limit) in ka_init()1225 io_arena_params[a].io_limit = maxphysaddr; in ka_init()