Home
last modified time | relevance | path

Searched refs:x86KSnumIOPTLevels (Results 1 – 5 of 5) sorted by relevance

/seL4-master/src/plat/pc99/machine/
A Dintel-vtd.c273 assert(x86KSnumIOPTLevels > 0); in vtd_get_n_paging()
298 for (word_t i = x86KSnumIOPTLevels - 1; i > 0; i--) { in vtd_get_n_paging()
333 … x86KSnumIOPTLevels - 2, /* Address Width */ in vtd_map_reserved_page()
343 for (i = x86KSnumIOPTLevels - 1; i >= 0; i--) { in vtd_map_reserved_page()
499 x86KSnumIOPTLevels = 3; in vtd_init_num_iopts()
501 x86KSnumIOPTLevels = 4; in vtd_init_num_iopts()
503 x86KSnumIOPTLevels = 5; in vtd_init_num_iopts()
505 x86KSnumIOPTLevels = 6; in vtd_init_num_iopts()
507 x86KSnumIOPTLevels = 2; in vtd_init_num_iopts()
513 …printf("IOMMU: Using %d page-table levels (max. supported: %d)\n", x86KSnumIOPTLevels, max_num_iop… in vtd_init_num_iopts()
/seL4-master/src/arch/x86/object/
A Diospace.c92 …iopt_index = (translation >> (VTD_PT_INDEX_BITS * (x86KSnumIOPTLevels - 1 - (levels_to_resolve - … in lookupIOPTSlot_resolve_levels()
118 x86KSnumIOPTLevels - 1, x86KSnumIOPTLevels - 1); in lookupIOPTSlot()
238 x86KSnumIOPTLevels - 2, /* addr width (x = levels - 2) */ in decodeX86IOPTInvocation()
263 lu_ret.level = x86KSnumIOPTLevels - lu_ret.level; in decodeX86IOPTInvocation()
/seL4-master/src/arch/x86/model/
A Dstatedata.c51 uint32_t x86KSnumIOPTLevels; variable
/seL4-master/include/arch/x86/arch/model/
A Dstatedata.h76 extern uint32_t x86KSnumIOPTLevels;
/seL4-master/src/arch/x86/kernel/
A Dboot.c325 ndks_boot.bi_frame->numIOPTLevels = x86KSnumIOPTLevels; in init_sys_state()

Completed in 13 milliseconds