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