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()
186 if (level != PG_LEVEL_4K) { in pageattr_test()
76 direct_pages_count[PG_LEVEL_4K] << 2); in arch_report_meminfo()316 if (lookup_address(address, &level) && (level != PG_LEVEL_4K)) in static_protections()357 *level = PG_LEVEL_4K; in lookup_address_in_pgd()1117 if (level == PG_LEVEL_4K) { in __change_page_attr()
162 case PG_LEVEL_4K: in clear_page_presence()
453 update_page_count(PG_LEVEL_4K, pages); in phys_pte_init()871 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()
378 PG_LEVEL_4K, enumerator
972 if (WARN(ptep == NULL || level != PG_LEVEL_4K, in m2p_add_override()1074 if (WARN(ptep == NULL || level != PG_LEVEL_4K, in m2p_remove_override()