Constant KERN_RPC_SERVER_TERMINATED

pub const KERN_RPC_SERVER_TERMINATED: c_int = 43;