vm_offset_t platform_lastaddr(void) { return (devmap_lastaddr()); }
static vm_offset_t bcm2835_lastaddr(platform_t plat) { return (devmap_lastaddr()); }
static vm_offset_t tegra124_lastaddr(platform_t plat) { return (devmap_lastaddr()); }
static vm_offset_t allwinner_lastaddr(platform_t plat) { return (devmap_lastaddr()); }
static vm_offset_t imx51_lastaddr(platform_t plat) { return (devmap_lastaddr()); }