rem: dprintf("%p\tid: 0x%lx\t\tname: '%s'\n", &sSems[i], sSems[i].id,
add: kprintf("%p\tid: 0x%lx\t\tname: '%s'\n", &sSems[i], sSems[i].id,
context: dump_sem_list(int argc, char **argv){	int i;	for (i = 0; i < sMaxSems; i++) {		if (sSems[i].id >= 0)			dprintf("%p\tid: 0x%lx\t\tname: '%s'\n", &sSems[i], sSems[i].id,					sSems[i].u.used.name);	}	return 0;}