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