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