Rename putchar_unlocked() to putchar_have_lock() to avoid GCC warning.
[pintos-anon] / src / lib / user / fullpage.lds
2005-04-06 Ben PfaffAlways use a custom linker script, to avoid oddities...