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