Searched refs:guest_tsc (Results 1 - 1 of 1) sorted by relevance

/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/drivers/kvm/
H A Dvmx.c374 * guest_tsc = host_tsc + tsc_offset -- 21.3
386 * writes 'guest_tsc' into guest's timestamp counter "register"
387 * guest_tsc = host_tsc + tsc_offset ==> tsc_offset = guest_tsc - host_tsc
389 static void guest_write_tsc(u64 guest_tsc) argument
394 vmcs_write64(TSC_OFFSET, guest_tsc - host_tsc);

Completed in 96 milliseconds