On single core devices set_stackptrs is only ever called with cpu = 0 in initarm and will be identical to the existing function. On SMP this needs to be implemented for sys/arm/mp_machdep.c, but the implementations are identical for each SoC.
version similar to the Ti version.
Very basic support for Nvidia Tegra2: timer, interrupts, UART. Submitted by: Damjan Marion <dmarion@freebsd.org>