Home
last modified time | relevance | path

Searched refs:mark_kernel_pud (Results 1 – 1 of 1) sorted by relevance

/kernel/linux/linux-5.10/arch/s390/mm/
Dpage-states.c120 static void mark_kernel_pud(p4d_t *p4d, unsigned long addr, unsigned long end) in mark_kernel_pud() function
158 mark_kernel_pud(p4d, addr, next); in mark_kernel_p4d()