The function timerintr in this file had the wrong prototype.
I found this out whilst trying to build a cpu/auth server.
The format in the header file was
	void timerintr(Ureg *, uvlong)
The format in the actual source was
	void timerintr(Ureg *, Tval)
This is my first contrib to the kernel; sorry if it makes other stuff break.

Pietro Gagliardi