Searched refs:cr4_init_shadow (Results 1 – 4 of 4) sorted by relevance
37 cr4_init_shadow(); in i386_start_kernel()
490 cr4_init_shadow(); in x86_64_start_kernel()
164 static inline void cr4_init_shadow(void) in cr4_init_shadow() function
1430 cr4_init_shadow(); /* 32b kernel does this in i386_start_kernel() */ in xen_start_kernel()