RIOT-OS/RIOT — pull request #1866 by OlegHahm (2014-10-23 16:27:23+00:00)
Title: cpu: use typed function pointer for thread_arch_init

The function pointer typedef already exists, but haven't been used for thread_init().