wrfs32             59 arch/x86/boot/a20.c 		wrfs32(++ctr, A20_TEST_ADDR);
wrfs32             66 arch/x86/boot/a20.c 	wrfs32(saved, A20_TEST_ADDR);