Constant VMAR_FLAG_CAN_MAP_READ 

pub const VMAR_FLAG_CAN_MAP_READ: u32 = 16;