/* Initialize floating point register context information. 
This routine initializes the system's "live" floating point registers.  */
static void z_do_fp_regs_init(void)
/* Initialize floating point register context information. 
This routine initializes the system's "live" floating point registers.  */
static void z_do_fp_regs_init(void)
{
	__asm__ volatile("fninit\n\t");
}