Searched refs:gtsc_khz (Results 1 – 12 of 12) sorted by relevance
| /xen/xen/include/asm-x86/ |
| A D | time.h | 60 uint32_t gtsc_khz, uint32_t incarnation);
63 uint32_t *gtsc_khz, uint32_t *incarnation);
|
| /xen/xen/arch/x86/hvm/ |
| A D | save.c | 39 hdr->gtsc_khz = d->arch.tsc_khz; in arch_hvm_save()
71 if ( hdr->gtsc_khz ) in arch_hvm_load()
72 d->arch.tsc_khz = hdr->gtsc_khz; in arch_hvm_load()
|
| A D | hvm.c | 371 u64 hvm_get_tsc_scaling_ratio(u32 gtsc_khz) in hvm_get_tsc_scaling_ratio() argument
385 if ( gtsc_khz / cpu_khz > (max_ratio >> ratio_frac_bits) ) in hvm_get_tsc_scaling_ratio()
394 [gkhz] "a" ((u64) gtsc_khz), in hvm_get_tsc_scaling_ratio()
|
| /xen/xen/arch/x86/ |
| A D | time.c | 2338 uint64_t *elapsed_nsec, uint32_t *gtsc_khz, in tsc_get_info() argument
2352 *elapsed_nsec = *gtsc_khz = 0; in tsc_get_info()
2359 *gtsc_khz = d->arch.tsc_khz; in tsc_get_info()
2364 *gtsc_khz = enable_tsc_scaling ? d->arch.tsc_khz : cpu_khz; in tsc_get_info()
2382 uint32_t gtsc_khz, uint32_t incarnation) in tsc_set_info() argument
2397 d->arch.tsc_khz = gtsc_khz ?: cpu_khz; in tsc_set_info()
|
| A D | domctl.c | 904 &domctl->u.tsc_info.gtsc_khz, in arch_do_domctl()
919 domctl->u.tsc_info.gtsc_khz, in arch_do_domctl()
|
| /xen/tools/libxc/ |
| A D | xc_domain.c | 832 uint32_t gtsc_khz, in xc_domain_set_tsc_info() argument
840 domctl.u.tsc_info.gtsc_khz = gtsc_khz; in xc_domain_set_tsc_info()
849 uint32_t *gtsc_khz, in xc_domain_get_tsc_info() argument
862 *gtsc_khz = domctl.u.tsc_info.gtsc_khz; in xc_domain_get_tsc_info()
|
| /xen/xen/include/public/arch-x86/hvm/ |
| A D | save.h | 43 uint32_t gtsc_khz; /* Guest's TSC frequency in kHz */ member
|
| /xen/xen/arch/x86/mm/ |
| A D | mem_sharing.c | 1647 uint32_t gtsc_khz; in copy_tsc() local
1651 tsc_get_info(d, &tsc_mode, &elapsed_nsec, >sc_khz, &incarnation); in copy_tsc()
1653 tsc_set_info(cd, tsc_mode, elapsed_nsec, gtsc_khz, incarnation - 1); in copy_tsc()
|
| /xen/tools/misc/ |
| A D | xen-hvmctx.c | 76 printf(" gtsc_khz %lu\n", (unsigned long) h.gtsc_khz); in dump_header()
|
| /xen/xen/include/public/ |
| A D | domctl.h | 744 uint32_t gtsc_khz; member
|
| /xen/xen/include/asm-x86/hvm/ |
| A D | hvm.h | 256 u64 hvm_get_tsc_scaling_ratio(u32 gtsc_khz);
|
| /xen/tools/libxc/include/ |
| A D | xenctrl.h | 1344 uint32_t gtsc_khz,
1351 uint32_t *gtsc_khz,
|
Completed in 38 milliseconds