Searched refs:PG_LEVEL_4K (Results 1 – 9 of 9) sorted by relevance
15 if (level != PG_LEVEL_4K) in kmemcheck_pte_lookup()
271 BUG_ON(level != PG_LEVEL_4K); in kmemcheck_show_pages()297 BUG_ON(level != PG_LEVEL_4K); in kmemcheck_hide_pages()
75 direct_pages_count[PG_LEVEL_4K] << 2); in arch_report_meminfo()315 if (lookup_address(address, &level) && (level != PG_LEVEL_4K)) in static_protections()360 *level = PG_LEVEL_4K; in lookup_address()652 if (level == PG_LEVEL_4K) { in __change_page_attr()
189 if (level != PG_LEVEL_4K) { in pageattr_test()
152 case PG_LEVEL_4K: in clear_page_presence()
361 update_page_count(PG_LEVEL_4K, pages_4k); in kernel_physical_mapping_init()
401 update_page_count(PG_LEVEL_4K, pages); in phys_pte_init()
666 if (WARN(ptep == NULL || level != PG_LEVEL_4K, in m2p_add_override()706 if (WARN(ptep == NULL || level != PG_LEVEL_4K, in m2p_remove_override()
316 PG_LEVEL_4K, enumerator