Name

kernel_to_ipc64_perm — convert kernel ipc permissions to user