Searched refs:ctx_switch_xsave (Results 1 – 3 of 3) sorted by relevance
41 extern char ctx_switch_xsave[];
129 .globl ctx_switch_xsave symbol130 ctx_switch_xsave: label
325 ctx_switch_xsave[3] |= 0x10; in fpuinit_bsp1()