Searched refs:CONFIG_PAGING_LEVELS (Results 1 – 7 of 7) sorted by relevance
11 #define CONFIG_PAGING_LEVELS 4 macro299 #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_LEVELS1537 shadow_prealloc(d, SH_type_monitor_table, CONFIG_PAGING_LEVELS); in sh_make_monitor_table()
1285 is_hvm_domain(d) ? CONFIG_PAGING_LEVELS + 2 : 0U) + in sh_min_allocation()
2978 const unsigned int nents = (CONFIG_PAGING_LEVELS + 1) * in hvmemul_cache_init()
3463 if ( (op.cmd - MMUEXT_PIN_L1_TABLE) > (CONFIG_PAGING_LEVELS - 1) ) in do_mmuext_op()
Completed in 54 milliseconds