Searched refs:viridian_dump_guest_page (Results 1 – 4 of 4) sorted by relevance
| /xen/xen/arch/x86/hvm/viridian/ |
| A D | private.h | 55 void viridian_dump_guest_page(const struct vcpu *v, const char *name,
|
| A D | synic.c | 103 viridian_dump_guest_page(v, "VP_ASSIST", &vv->vp_assist); in viridian_synic_wrmsr()
131 viridian_dump_guest_page(v, "SIMP", &vv->simp); in viridian_synic_wrmsr()
|
| A D | time.c | 333 viridian_dump_guest_page(v, "REFERENCE_TSC", &vd->reference_tsc); in viridian_time_wrmsr()
|
| A D | viridian.c | 710 void viridian_dump_guest_page(const struct vcpu *v, const char *name, in viridian_dump_guest_page() function
|
Completed in 7 milliseconds