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