rdpmc64

Declaration

uint64_t rdpmc64(uint32_t pmc);