set_page_prot_flags
return set_page_prot_flags(addr, prot, UVMF_NONE);
set_page_prot_flags((void *)addr, PAGE_KERNEL, UVMF_INVLPG);