Searched refs:ctx_paddr (Results 1 – 1 of 1) sorted by relevance
423 vm_paddr_t ctx_paddr; in vtd_init() local517 ctx_paddr = vtophys(ctx_tables[i]); in vtd_init()518 if (ctx_paddr & PAGE_MASK) in vtd_init()519 panic("ctx table (0x%0lx) not page aligned", ctx_paddr); in vtd_init()521 root_table[i * 2] = ctx_paddr | VTD_ROOT_PRESENT; in vtd_init()