Home
last modified time | relevance | path

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

/seL4-master/src/arch/x86/model/
A Dstatedata.c53 uint32_t x86KSFirstValidIODomain; variable
/seL4-master/include/arch/x86/arch/model/
A Dstatedata.h78 extern uint32_t x86KSFirstValidIODomain;
/seL4-master/src/plat/pc99/machine/
A Dintel-vtd.c331 … x86KSFirstValidIODomain, /* Domain ID */ in vtd_map_reserved_page()
337 x86KSFirstValidIODomain++; in vtd_map_reserved_page()
463 x86KSFirstValidIODomain = 0; in vtd_init_num_iopts()
/seL4-master/src/arch/x86/object/
A Dobjecttype.c151 domainID >= x86KSFirstValidIODomain && in Arch_updateCapData()

Completed in 6 milliseconds