Searched refs:PG_LEVEL_4K (Results 1 – 9 of 9) sorted by relevance
15 if (level != PG_LEVEL_4K) in kmemcheck_pte_lookup()
277 BUG_ON(level != PG_LEVEL_4K); in kmemcheck_show_pages()303 BUG_ON(level != PG_LEVEL_4K); in kmemcheck_hide_pages()
242 BUG_ON(!ptep || level != PG_LEVEL_4K); in xen_build_mfn_list_list()450 BUG_ON(!ptep || level != PG_LEVEL_4K); in get_phys_to_machine()547 BUG_ON(!ptep || level != PG_LEVEL_4K); in xen_alloc_p2m_entry()681 BUG_ON(!ptep || level != PG_LEVEL_4K); in __set_phys_to_machine()
188 if (level != PG_LEVEL_4K) { in pageattr_test()
76 direct_pages_count[PG_LEVEL_4K] << 2); in arch_report_meminfo()313 if (lookup_address(address, &level) && (level != PG_LEVEL_4K)) in static_protections()354 *level = PG_LEVEL_4K; in lookup_address_in_pgd()1175 if (level == PG_LEVEL_4K) { in __change_page_attr()
162 case PG_LEVEL_4K: in clear_page_presence()
441 update_page_count(PG_LEVEL_4K, pages); in phys_pte_init()859 update_page_count(PG_LEVEL_4K, -pages); in remove_pte_table()
373 update_page_count(PG_LEVEL_4K, pages_4k); in kernel_physical_mapping_init()
421 PG_LEVEL_4K, enumerator