Searched refs:num_domain_id_bits (Results 1 - 1 of 1) sorted by relevance

/seL4-mcs-10.1.1/src/plat/pc99/machine/
H A Dintel-vtd.c453 uint32_t num_domain_id_bits = 16; local
466 if (bits_supported < num_domain_id_bits) {
467 num_domain_id_bits = bits_supported;
471 x86KSnumIODomainIDBits = num_domain_id_bits;

Completed in 81 milliseconds