Searched refs:CONFIG_PAGING_LEVELS (Results 1 – 5 of 5) sorted by relevance
11 #define CONFIG_PAGING_LEVELS 4 macro300 #define MAPCACHE_VCPU_ENTRIES (CONFIG_PAGING_LEVELS * CONFIG_PAGING_LEVELS)
35 #if GUEST_PAGING_LEVELS > CONFIG_PAGING_LEVELS36 #error GUEST_PAGING_LEVELS must not exceed CONFIG_PAGING_LEVELS
27 #define CONFIG_PAGING_LEVELS 3 macro
80 #if SHADOW_DEBUG_PROPAGATE && CONFIG_PAGING_LEVELS == GUEST_PAGING_LEVELS376 #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()
3094 if ( (op.cmd - MMUEXT_PIN_L1_TABLE) > (CONFIG_PAGING_LEVELS - 1) ) in do_mmuext_op()
Completed in 22 milliseconds