/* Therefore, if the application writer wants FPU registers to be saved on interrupt entry their IRQ handler must be called vApplicationFPUSafeIRQHandler(), and if the application writer does not want FPU registers to be saved on interrupt entry their IRQ handler must be called vApplicationIRQHandler().  */
void vApplicationFPUSafeIRQHandler(uint32_t ulICCIAR) __attribute__((weak))
/* Therefore, if the application writer wants FPU registers to be saved on interrupt entry their IRQ handler must be called vApplicationFPUSafeIRQHandler(), and if the application writer does not want FPU registers to be saved on interrupt entry their IRQ handler must be called vApplicationIRQHandler().  */
void vApplicationFPUSafeIRQHandler(uint32_t ulICCIAR) __attribute__((weak))
{
	( void ) ulICCIARx;
	configASSERT( ( volatile void * ) NULL );
}