A20_TEST_ADDR      56 arch/x86/boot/a20.c 	saved = ctr = rdfs32(A20_TEST_ADDR);
A20_TEST_ADDR      59 arch/x86/boot/a20.c 		wrfs32(++ctr, A20_TEST_ADDR);
A20_TEST_ADDR      61 arch/x86/boot/a20.c 		ok = rdgs32(A20_TEST_ADDR+0x10) ^ ctr;
A20_TEST_ADDR      66 arch/x86/boot/a20.c 	wrfs32(saved, A20_TEST_ADDR);