32c32
< * $FreeBSD: head/sys/powerpc/include/platform.h 192067 2009-05-14 00:34:26Z nwhitehorn $
---
> * $FreeBSD: head/sys/powerpc/include/platform.h 215159 2010-11-12 04:18:19Z nwhitehorn $
46a47
> vm_offset_t platform_real_maxaddr(void);
< * $FreeBSD: head/sys/powerpc/include/platform.h 192067 2009-05-14 00:34:26Z nwhitehorn $
---
> * $FreeBSD: head/sys/powerpc/include/platform.h 215159 2010-11-12 04:18:19Z nwhitehorn $
46a47
> vm_offset_t platform_real_maxaddr(void);