AT_IPC_SEM
if (flag == OBJ_SEM && type == AT_IPC_SEM)
case AT_IPC_SEM:
case AT_IPC_SEM:
au_uwrite(au_to_ipc(AT_IPC_SEM, id));
case AT_IPC_SEM:
au_uwrite(au_to_ipc(AT_IPC_SEM, id));
sizeof (ksemid_t), sem_dtor, sem_rmid, AT_IPC_SEM,
audit_ipcget(AT_IPC_SEM, (void *)sp);