ARMI_VMOV_RR_D    395 lj_asm_arm.h   	  emit_dnm(as, ARMI_VMOV_RR_D, gpr, gpr+1, (src & 15));
ARMI_VMOV_RR_D    901 lj_asm_arm.h   	emit_dnm(as, ARMI_VMOV_RR_D, key, keynumhi,
ARMI_VMOV_RR_D   1594 lj_asm_arm.h     emit_dnm(as, ARMI_VMOV_RR_D, RID_R0, RID_R1, (src & 15));