Searched refs:PG_LEVEL_4K (Results 1 – 8 of 8) sorted by relevance
241 BUG_ON(!ptep || level != PG_LEVEL_4K); in xen_build_mfn_list_list()443 BUG_ON(!ptep || level != PG_LEVEL_4K); in get_phys_to_machine()537 BUG_ON(!ptep || level != PG_LEVEL_4K); in xen_alloc_p2m_entry()664 BUG_ON(!ptep || level != PG_LEVEL_4K); in __set_phys_to_machine()
267 if (!pte || WARN_ON(level != PG_LEVEL_4K) || pte_none(*pte)) in pti_setup_vsyscall()
189 if (level != PG_LEVEL_4K) { in pageattr_test()
80 direct_pages_count[PG_LEVEL_4K] << 2); in arch_report_meminfo()341 if (lookup_address(address, &level) && (level != PG_LEVEL_4K)) in static_protections()391 *level = PG_LEVEL_4K; in lookup_address_in_pgd()1229 if (level == PG_LEVEL_4K) { in __change_page_attr()
168 case PG_LEVEL_4K: in clear_page_presence()
449 update_page_count(PG_LEVEL_4K, pages); in phys_pte_init()945 update_page_count(PG_LEVEL_4K, -pages); in remove_pte_table()
374 update_page_count(PG_LEVEL_4K, pages_4k); in kernel_physical_mapping_init()
519 PG_LEVEL_4K, enumerator