Home
last modified time | relevance | path

Searched refs:x86KSvtdRootTable (Results 1 – 4 of 4) sorted by relevance

/seL4-master/src/plat/pc99/machine/
A Dintel-vtd.c379 x86KSvtdRootTable[bus] = in vtd_create_context_table()
401 pptr_t pa = (pptr_t)pptr_to_paddr((void *)x86KSvtdRootTable); in vtd_enable()
524 x86KSvtdRootTable = (vtd_rte_t *) it_alloc_paging(); in vtd_init()
529 flushCacheRange(x86KSvtdRootTable, VTD_RT_SIZE_BITS); in vtd_init()
/seL4-master/src/arch/x86/model/
A Dstatedata.c50 vtd_rte_t *x86KSvtdRootTable; variable
/seL4-master/include/arch/x86/arch/model/
A Dstatedata.h75 extern vtd_rte_t *x86KSvtdRootTable;
/seL4-master/src/arch/x86/object/
A Diospace.c67 vtd_root_slot = x86KSvtdRootTable + vtd_root_index; in lookup_vtd_context_slot()

Completed in 7 milliseconds