Searched refs:init_pat_msr (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/kernel/
H A Dvspace.h65 bool_t init_pat_msr(void);
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dboot.c377 if (!init_pat_msr()) {
H A Dvspace.c503 BOOT_CODE bool_t init_pat_msr(void) function

Completed in 34 milliseconds