ARMI_VMRS         515 lj_asm_arm.h     emit_d(as, ARMI_VMRS, 0);
ARMI_VMRS        1688 lj_asm_arm.h     emit_d(as, ARMI_VMRS, 0);
ARMI_VMRS        1765 lj_asm_arm.h     emit_d(as, ARMI_VMRS, 0);