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