Searched refs:mc64 (Results 1 – 6 of 6) sorted by relevance
| /xen/tools/tests/vhpet/ |
| A D | main.c | 213 (unsigned long long) h.mc64, in dump_hpet()
214 (unsigned long long) h.mc64); in dump_hpet()
261 dom1.arch.hvm_domain.pl_time.vhpet.hpet.mc64, in create_periodic_time()
635 if (hpet0.mc64 != hpet1.mc64) in main()
637 __func__, __LINE__, hpet0.mc64, hpet1.mc64); in main()
643 if (hpet1.mc64 != hpet2.mc64) in main()
645 __func__, __LINE__, hpet1.mc64, hpet2.mc64); in main()
666 if (hpet0.mc64 != hpet1.mc64) in main()
668 __func__, __LINE__, hpet0.mc64, hpet1.mc64); in main()
674 if (hpet1.mc64 != hpet2.mc64) in main()
[all …]
|
| A D | emul.h | 162 uint64_t mc64; /* main counter */ member
281 uint64_t mc64; /* main counter */ member
|
| /xen/xen/arch/x86/hvm/ |
| A D | hpet.c | 78 return h->hpet.mc64; in hpet_read_maincounter()
393 h->mc_offset = h->hpet.mc64 - guest_time; in hpet_write()
407 h->hpet.mc64 = h->mc_offset + guest_time; in hpet_write()
436 h->hpet.mc64 = new_val; in hpet_write()
598 hp->hpet.mc64 = hp->mc_offset + guest_time; in hpet_save()
611 C(mc64); in hpet_save()
671 C(mc64); in hpet_load()
693 hp->mc_offset = hp->hpet.mc64 - guest_time; in hpet_load()
|
| /xen/xen/include/asm-x86/hvm/ |
| A D | vpt.h | 74 uint64_t mc64; /* main counter */ member
|
| /xen/xen/include/public/arch-x86/hvm/ |
| A D | save.h | 525 uint64_t mc64; /* main counter */ member
|
| /xen/tools/misc/ |
| A D | xen-hvmctx.c | 326 h.isr, h.mc64); in dump_hpet()
|
Completed in 16 milliseconds