Constant GPIO_WLAN_PRIO_IDX 

pub const GPIO_WLAN_PRIO_IDX: u32 = 18;