Constant GPIO5_1

Source
pub const GPIO5_1: u32 = 88;