Searched refs:guest_read_tsc (Results 1 – 1 of 1) sorted by relevance
2253 static u64 guest_read_tsc(void) in guest_read_tsc() function2669 data = guest_read_tsc(); in vmx_get_msr()