See the attached files for correctly formatted code.
.h:
void boot_loader_start( void ) __attribute__ ((noreturn));
.c:
/* Function Pointer returning void, passed void pointer: */
void (*_boot_loader_start)( void * arg );
void boot_loader_start( void )
{
/* Read the function address from the ROM API tree: */
uint32_t const _boot_loader_start_address = **(uint32_t **)(0x1C00001CUL);
/* Turn address in to a function pointer: */
_boot_loader_start = (void (*)(void * arg))_boot_loader_start_address;
_boot_loader_start( NULL ); /* Call the function. Will not return from here */
for(;;) /* Pacify the compiler about returning from a no return function */
;
}