print_ksemptr
print_ksemptr(i, option, &kxsema[i]);
void print_ksemptr(int i, int option, struct semid_kernel *ksemaptr);