Searched defs:vtd_init (Results 1 - 1 of 1) sorted by relevance

/seL4-mcs-10.1.1/src/plat/pc99/machine/
H A Dintel-vtd.c442 vtd_init( function

Completed in 26 milliseconds