Searched refs:guest_read_tsc (Results 1 - 1 of 1) sorted by relevance
| /netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/drivers/kvm/ | ||
| H A D | vmx.c | 376 static u64 guest_read_tsc(void) function 441 data = guest_read_tsc(); |
Completed in 65 milliseconds