asterinas/book/src/kernel/linux-compatibility/syscall-flag-coverage/inter-process-communication/semop_and_semtimedop.scml

struct sembuf = {
    sem_flg = IPC_NOWAIT,
    ..
};

// Semaphore operations without blocking
semop(
    semid,
    sops = [ <sembuf> ],
    nsops
);