K 10
svn:author
V 5
markj
K 8
svn:date
V 27
2018-12-11T16:49:01.666653Z
K 7
svn:log
V 269
Fix the PAE kernel gcc build.

The error was caused by map_ucode() casting a vm_paddr_t to a void *.
Use a uintptr_t instead to match the caller.  Fix some style bugs while
here.

Reported by:	bde
Reviewed by:	bde
MFC after:	1 week
Sponsored by:	The FreeBSD Foundation

END