Searched refs:cr4_init_shadow (Results 1 – 2 of 2) sorted by relevance
60 cr4_init_shadow(); in i386_start_kernel()
1523 cr4_init_shadow(); /* 32b kernel does this in i386_start_kernel() */ in xen_start_kernel()