/* setup the xstate image representing the init state  */
static void __init setup_xstate_init(void)
/* setup the xstate image representing the init state  */
static void __init setup_xstate_init(void)
{
	init_xstate_buf = alloc_bootmem(xstate_size);
	init_xstate_buf->i387.mxcsr = MXCSR_DEFAULT;
}