ptr_ok             28 arch/x86/kernel/doublefault_32.c 	if (ptr_ok(gdt)) {
ptr_ok             35 arch/x86/kernel/doublefault_32.c 		if (ptr_ok(tss)) {