Constant HV_INTERCEPT_ACCESS_MASK_READ 

pub const HV_INTERCEPT_ACCESS_MASK_READ: u32 = 0x01;