Constant OHWA0_R4KEOP_CHECKED 

pub const OHWA0_R4KEOP_CHECKED: u32 = 0x0000_0001;