nofpu_emulate_movci
return nofpu_emulate_movci(tf, insn);
int nofpu_emulate_movci(struct trapframe *, uint32_t);