pref_done         596 arch/x86/kernel/vm86_32.c 	int data32, pref_done;
pref_done         611 arch/x86/kernel/vm86_32.c 	pref_done = 0;
pref_done         624 arch/x86/kernel/vm86_32.c 		default: pref_done = 1;
pref_done         626 arch/x86/kernel/vm86_32.c 	} while (!pref_done);