Constant HV_INTERCEPT_ACCESS_MASK_EXECUTE

pub const HV_INTERCEPT_ACCESS_MASK_EXECUTE: u32 = 0x04;