Searched defs:REG_NAME (Results 1 – 1 of 1) sorted by relevance
1052 const REG_NAME: WHV_REGISTER_NAME = WHV_REGISTER_NAME_WHvX64RegisterXCr0; in get_xcrs() constant1081 const REG_NAME: WHV_REGISTER_NAME = WHV_REGISTER_NAME_WHvX64RegisterXCr0; in set_xcr() constant