58c58
< __FBSDID("$FreeBSD: head/sys/powerpc/aim/machdep.c 200083 2009-12-03 20:55:09Z nwhitehorn $");
---
> __FBSDID("$FreeBSD: head/sys/powerpc/aim/machdep.c 204128 2010-02-20 16:23:29Z nwhitehorn $");
200a201,205
> if (bootverbose)
> printf("available KVA = %zd (%zd MB)\n",
> virtual_end - virtual_avail,
> (virtual_end - virtual_avail) / 1048576);
>