Searched refs:ctx_tables (Results 1 – 1 of 1) sorted by relevance
128 static uint64_t ctx_tables[256][PAGE_SIZE / sizeof(uint64_t)] __aligned(4096); variable389 ctx_paddr = vtophys(ctx_tables[i]); in vtd_init()450 ctxp = ctx_tables[bus]; in vtd_add_device()492 ctxp = ctx_tables[bus]; in vtd_remove_device()