set_memory_nonglobal  561 arch/x86/mm/pti.c extern int set_memory_nonglobal(unsigned long addr, int numpages);
set_memory_nonglobal  617 arch/x86/mm/pti.c 	set_memory_nonglobal(start, (end - start) >> PAGE_SHIFT);