 #ifdef CONFIG_PROC_FS create_proc_read_entry("sysvipc/sem", 0, NULL, sysvipc_sem_read_proc, NULL); #endif 
ipc_init_proc_interface("sysvipc/sem", "       key      semid perms      nsems   uid   gid  cuid  cgid      otime      ctime\n", &sem_ids, sysvipc_sem_proc_show); 
void __init sem_init (void){	used_sems = 0;	ipc_init_ids(&sem_ids,sc_semmni);#ifdef CONFIG_PROC_FS	create_proc_read_entry("sysvipc/sem", 0, NULL, sysvipc_sem_read_proc, NULL);#endif}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/19b4946ca9d1e35d4c641dcebe27378de34f3ddd/sem.c/buggy/ipc/sem.c