__set_memory_enc_dec 1988 arch/x86/mm/pageattr.c return __set_memory_enc_dec(addr, numpages, true); __set_memory_enc_dec 1994 arch/x86/mm/pageattr.c return __set_memory_enc_dec(addr, numpages, false);