Home
last modified time | relevance | path

Searched defs:vki_xen_domctl_ext_vcpucontext_00000008 (Results 1 – 1 of 1) sorted by relevance

/external/valgrind/include/vki/
Dvki-xen-domctl.h395 struct vki_xen_domctl_ext_vcpucontext_00000008 { struct
396 vki_uint32_t vcpu; /* IN */
400 vki_uint32_t size;
402 vki_xen_uint64_aligned_t syscall32_callback_eip;
403 vki_xen_uint64_aligned_t sysenter_callback_eip;
404 vki_uint16_t syscall32_callback_cs;
405 vki_uint16_t sysenter_callback_cs;
406 vki_uint8_t syscall32_disables_events;
407 vki_uint8_t sysenter_disables_events;
408 vki_xen_uint64_aligned_t mcg_cap;