Constant HV_INTERCEPT_ACCESS_MASK_EXECUTE 

pub const HV_INTERCEPT_ACCESS_MASK_EXECUTE: u32 = 0x04;