Searched refs:ctx_switch_xsave32 (Results 1 – 3 of 3) sorted by relevance
40 extern char ctx_switch_xsave32[];
130 jne ctx_switch_xsave32301 .globl ctx_switch_xsave32302 ctx_switch_xsave32: label
363 ctx_switch_xsave32[3] |= 0x10; in fpuinit_bsp1()