Searched defs:rdpmc_idx (Results 1 – 1 of 1) sorted by relevance
376 static void guest_test_rdpmc(uint32_t rdpmc_idx, bool expect_success, in guest_test_rdpmc()424 uint32_t rdpmc_idx; in guest_rd_wr_counters() local