rustmax::libc

Constant ATF_PUBL

Source 
pub const ATF_PUBL: i32 = 0x08; // 8i32