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