Searched refs:WHvMapGpaRangeFlagWrite (Results 1 – 13 of 13) sorted by relevance
303 WHvMapGpaRangeFlagWrite = 0x00000002, enumerator
1255 (rom ? 0 : WHvMapGpaRangeFlagWrite))); in whpx_update_mapping()
1257 (rom ? 0 : WHvMapGpaRangeFlagWrite))); in whpx_update_mapping()
1397 (rom ? 0 : WHvMapGpaRangeFlagWrite))); in whpx_update_mapping()
1320 (rom ? 0 : WHvMapGpaRangeFlagWrite))); in whpx_update_mapping()
1520 (rom ? 0 : WHvMapGpaRangeFlagWrite))); in whpx_update_mapping()
1522 (rom ? 0 : WHvMapGpaRangeFlagWrite))); in whpx_update_mapping()
1107 pub const WHvMapGpaRangeFlagWrite: WHV_MAP_GPA_RANGE_FLAGS = 2u32; const
2694 pub const WHvMapGpaRangeFlagWrite: WHV_MAP_GPA_RANGE_FLAGS = WHV_MAP_GPA_RANGE_FLAGS(2u32); const