Searched defs:mci_ctl2_bank1 (Results 1 - 1 of 1) sorted by relevance
| /external/valgrind/include/vki/ | ||
| H A D | vki-xen-domctl.h | 427 vki_uint64_t mci_ctl2_bank1; member in struct:vki_xen_domctl_ext_vcpucontext_00000009 |
Completed in 169 milliseconds