Type Definition sgx_oc::linux::x86_64::pid_t

source · [−]
pub type pid_t = i32;