Constant libc_interface::ATF_PUBL

pub const ATF_PUBL: c_int = 0x08;