Home
last modified time | relevance | path

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

/xen-4.10.0-shim-comet/xen/include/asm-x86/
A Dconfig.h11 #define CONFIG_PAGING_LEVELS 4 macro
300 #define MAPCACHE_VCPU_ENTRIES (CONFIG_PAGING_LEVELS * CONFIG_PAGING_LEVELS)
/xen-4.10.0-shim-comet/xen/arch/x86/mm/hap/
A Dguest_walk.c35 #if GUEST_PAGING_LEVELS > CONFIG_PAGING_LEVELS
36 #error GUEST_PAGING_LEVELS must not exceed CONFIG_PAGING_LEVELS
/xen-4.10.0-shim-comet/xen/include/asm-arm/
A Dconfig.h27 #define CONFIG_PAGING_LEVELS 3 macro
/xen-4.10.0-shim-comet/xen/arch/x86/mm/shadow/
A Dmulti.c80 #if SHADOW_DEBUG_PROPAGATE && CONFIG_PAGING_LEVELS == GUEST_PAGING_LEVELS
376 #if CONFIG_PAGING_LEVELS == GUEST_PAGING_LEVELS in sh_write_guest_entry()
401 #if CONFIG_PAGING_LEVELS == GUEST_PAGING_LEVELS in sh_cmpxchg_guest_entry()
1566 shadow_prealloc(d, SH_type_monitor_table, CONFIG_PAGING_LEVELS); in sh_make_monitor_table()
/xen-4.10.0-shim-comet/xen/arch/x86/
A Dmm.c3094 if ( (op.cmd - MMUEXT_PIN_L1_TABLE) > (CONFIG_PAGING_LEVELS - 1) ) in do_mmuext_op()

Completed in 22 milliseconds