Home
last modified time | relevance | path

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

/linux/arch/s390/mm/
A Dpage-states.c141 static void mark_kernel_p4d(pgd_t *pgd, unsigned long addr, unsigned long end) in mark_kernel_p4d() function
180 mark_kernel_p4d(pgd, addr, next); in mark_kernel_pgd()

Completed in 2 milliseconds