Searched refs:vcpu_get_tsc_offset (Results 1 – 1 of 1) sorted by relevance
33 static int vcpu_get_tsc_offset(void *data, u64 *val) in vcpu_get_tsc_offset() function40 DEFINE_SIMPLE_ATTRIBUTE(vcpu_tsc_offset_fops, vcpu_get_tsc_offset, NULL, "%lld\n");