Searched refs:ctx_switch_xsave32 (Results 1 – 3 of 3) sorted by relevance
42 extern char ctx_switch_xsave32[];
128 jne ctx_switch_xsave32299 .globl ctx_switch_xsave32300 ctx_switch_xsave32: label
324 ctx_switch_xsave32[3] |= 0x10; in fpuinit_bsp1()