Searched refs:VKI_AV_386_TSCP (Results 1 – 2 of 2) sorted by relevance
747 VKI_AV_386_TSCP; /* rdtscp instruction */ in setup_client_stack()
284 #define VKI_AV_386_TSCP AV_386_TSCP macro