Searched refs:VKI_AV_386_TSC (Results 1 – 2 of 2) sorted by relevance
670 | VKI_AV_386_TSC /* rdtsc insn */ in setup_client_stack()726 | VKI_AV_386_TSC /* rdtsc insn */ in setup_client_stack()
277 #define VKI_AV_386_TSC AV_386_TSC macro