IBM 10 SP1 EAL4 Manuale Utente

•

TSFI system calls

•

Non-TSFI system calls

System calls are listed in the Functional Specification mapping table.

do_pipe

Understanding the LINUX KERNEL, Chapter 19, 2nd Edition, Daniel P. Bovet, 
Marco Cesati, ISBN# 0-596-00213-0/ and this document, Section 5.3.1.1

pipe_read

Understanding the LINUX KERNEL, Chapter 19, 2nd Edition, Daniel P. Bovet, 
Marco Cesati, ISBN# 0-596-00213-0/ and this document, Section 5.3.1.1

pipe_write

Understanding the LINUX KERNEL, Chapter 19, 2nd Edition, Daniel P. Bovet, 
Marco Cesati, ISBN# 0-596-00213-0/ and this document, Section 5.3.1.1

init_special_in

ode

This document, Section 5.3.2.1

fifo_open

This document, Section 5.3.2.2

ipc_alloc

This document, Section 5.3.2.2

ipcperms

This document, Section 5.3.2.2

send_sig_info

This document, Section 5.3.2.2

unix_create

This document, Section 5.3.5

inet_create

This document, Section 5.3.5

sk_alloc

This document, Section 5.3.5

ipc_ids

ipc/util.h

ipc_id

ipc/util.h

kern_ipc_perm

include/linux/ipc.h

msg_queue

ipc/msg.c

msg_msg

ipc/msg.c

sem_array

include/linux/sem.h

shmid_kernel

ipc/shm.c

sock

include/net/sock.h

226