Symbol: KERN_IPC