Searched defs:WHvX64RegisterR12 (Results 1 – 4 of 4) sorted by relevance
351 WHvX64RegisterR12 = 0x0000000C, enumerator
1535 pub const WHvX64RegisterR12: WHV_REGISTER_NAME = 12i32; const
3671 pub const WHvX64RegisterR12: WHV_REGISTER_NAME = WHV_REGISTER_NAME(12i32); const