Constant uikit_sys::KERN_RPC_SERVER_TERMINATED

pub const KERN_RPC_SERVER_TERMINATED: u32 = 43;