Searched refs:xcr0_name (Results 1 – 1 of 1) sorted by relevance
307 WHV_REGISTER_NAME xcr0_name = WHvX64RegisterXCr0; in whpx_set_xcrs() local316 whpx->partition, cpu->cpu_index, &xcr0_name, 1, &xcr0); in whpx_set_xcrs()580 WHV_REGISTER_NAME xcr0_name = WHvX64RegisterXCr0; in whpx_get_xcrs() local588 whpx->partition, cpu->cpu_index, &xcr0_name, 1, &xcr0); in whpx_get_xcrs()