void HELPER(wcsr_ip)(CPULM32State *env, uint32_t im) { lm32_pic_set_ip(env->pic_state, im); }
void helper_wcsr_ip(CPULM32State *env, uint32_t im) { lm32_pic_set_ip(env->pic_state, im); }