Home
last modified time | relevance | path

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

/linux-4.1.27/arch/x86/mm/
Dpgtable.c38 static int __init setup_userpte(char *arg) in setup_userpte() function
53 early_param("userpte", setup_userpte);