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