Searched refs:ctx_switch_xsave (Results 1 – 3 of 3) sorted by relevance
39 extern char ctx_switch_xsave[];
131 .globl ctx_switch_xsave132 ctx_switch_xsave: label
364 ctx_switch_xsave[3] |= 0x10; in fpuinit_bsp1()