Searched refs:tsc_info_00000007 (Results 1 – 2 of 2) sorted by relevance
| /external/valgrind/coregrind/m_syswrap/ |
| D | syswrap-xen.c | 913 __PRE_XEN_DOMCTL_READ(settscinfo, tsc_info_00000007, info.tsc_mode); in PRE()
914 __PRE_XEN_DOMCTL_READ(settscinfo, tsc_info_00000007, info.gtsc_khz); in PRE()
915 __PRE_XEN_DOMCTL_READ(settscinfo, tsc_info_00000007, info.incarnation); in PRE()
916 __PRE_XEN_DOMCTL_READ(settscinfo, tsc_info_00000007, info.elapsed_nsec); in PRE()
1867 __POST_XEN_DOMCTL_WRITE(gettscinfo, tsc_info_00000007, out_info); in POST()
1868 POST_MEM_WRITE((Addr)domctl->u.tsc_info_00000007.out_info.p, in POST()
|
| /external/valgrind/include/vki/ |
| D | vki-xen-domctl.h | 610 struct vki_xen_domctl_tsc_info_00000007 tsc_info_00000007; member
|