void __init check_efer(void) 
void __cpuinit check_efer(void) 
void __init check_efer(void){	unsigned long efer;	rdmsrl(MSR_EFER, efer);         if (!(efer & EFER_NX) || do_not_nx) {                 __supported_pte_mask &= ~_PAGE_NX;         }       }
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/e6982c671c560da4a0bc5c908cbcbec12bd5991d/setup64.c/clean/arch/x86_64/kernel/setup64.c