Searched refs:VKI_AV_386_CX16 (Results 1 – 2 of 2) sorted by relevance
741 VKI_AV_386_CX16; /* cmpxchg16b insn */ in setup_client_stack()
282 #define VKI_AV_386_CX16 AV_386_CX16 macro