ARCH_INIT_USER_FP_ENTRY_FRAME
#ifndef ARCH_INIT_USER_FP_ENTRY_FRAME
ARCH_INIT_USER_FP_ENTRY_FRAME(state->ws)