mv_platform_lastaddr
PLATFORMMETHOD(platform_lastaddr, mv_platform_lastaddr),
static vm_offset_t mv_platform_lastaddr(platform_t plate);