Searched defs:xcr0 (Results 1 – 4 of 4) sorted by relevance
308 WHV_REGISTER_VALUE xcr0; in whpx_set_xcrs() local 579 WHV_REGISTER_VALUE xcr0; in whpx_get_xcrs() local [all...]
152 uint64_t xcr0; member
8607 uint64_t xcr0; in x86_cpu_reset_hold() local
1934 uint64_t xcr0; member