one_ioctl_badbuf   60 user/testbin/badcall/bad_ioctl.c 	one_ioctl_badbuf(fd, code, codename, NULL, "NULL pointer");
one_ioctl_badbuf   61 user/testbin/badcall/bad_ioctl.c 	one_ioctl_badbuf(fd, code, codename, INVAL_PTR, "invalid pointer");
one_ioctl_badbuf   62 user/testbin/badcall/bad_ioctl.c 	one_ioctl_badbuf(fd, code, codename, KERN_PTR, "kernel pointer");