39a40,51
> let {{
> vfpEnabledCheckCode = '''
> if (!vfpEnabled(Cpacr, Cpsr, Fpexc))
> return disabledFault();
> '''
>
> vmsrrsEnabledCheckCode = '''
> if (!vfpEnabled(Cpacr, Cpsr))
> return disabledFault();
> '''
> }};
>