Searched refs:get_cr0 (Results 1 – 3 of 3) sorted by relevance
10 static inline uint64_t get_cr0(void) in get_cr0() function40 cr0 = get_cr0(); in x86_init_fpu()
18 static inline uint64_t get_cr0(void)61 cr0 = get_cr0();