Searched refs:cr0_saved (Results 1 – 1 of 1) sorted by relevance
26 u32 cr0_saved; in check_fpu() local30 cr0_saved = read_cr0(); in check_fpu()31 write_cr0(cr0_saved & ~X86_CR0_TS); in check_fpu()55 write_cr0(cr0_saved); in check_fpu()