Typo. tmpstk() is actually tmpstack() from machdep.c