pub const NTHV_GUEST_ERROR: BUGCHECK_ERROR = 280u32;