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()
227 BUG_ON(!ptep || level != PG_LEVEL_4K); in xen_build_mfn_list_list()426 BUG_ON(!ptep || level != PG_LEVEL_4K); in get_phys_to_machine()519 BUG_ON(!ptep || level != PG_LEVEL_4K); in alloc_p2m()636 BUG_ON(!ptep || level != PG_LEVEL_4K); in __set_phys_to_machine()
186 if (level != PG_LEVEL_4K) { in pageattr_test()
76 direct_pages_count[PG_LEVEL_4K] << 2); in arch_report_meminfo()314 if (lookup_address(address, &level) && (level != PG_LEVEL_4K)) in static_protections()355 *level = PG_LEVEL_4K; in lookup_address_in_pgd()1148 if (level == PG_LEVEL_4K) { in __change_page_attr()
151 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()
392 PG_LEVEL_4K, enumerator