Searched defs:WHvX64RegisterCr3 (Results 1 – 4 of 4) sorted by relevance
369 WHvX64RegisterCr3 = 0x0000001E, enumerator
1553 pub const WHvX64RegisterCr3: WHV_REGISTER_NAME = 30i32; const
3689 pub const WHvX64RegisterCr3: WHV_REGISTER_NAME = WHV_REGISTER_NAME(30i32); const