ptr_ok             31 arch/x86/kernel/doublefault.c 	if (ptr_ok(gdt)) {
ptr_ok             36 arch/x86/kernel/doublefault.c 		if (ptr_ok(tss)) {