diff options
Diffstat (limited to 'aarch64_small/armV8_pstate.sail')
| -rw-r--r-- | aarch64_small/armV8_pstate.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/aarch64_small/armV8_pstate.sail b/aarch64_small/armV8_pstate.sail index 9bc88891..38932472 100644 --- a/aarch64_small/armV8_pstate.sail +++ b/aarch64_small/armV8_pstate.sail @@ -128,8 +128,8 @@ function wPSTATE_NZCV((), [n,z,c,v]) = { } /* this is a convenient way to do "PSTATE.<D,A,I,F> = daif;" */ -val wPSTATE_DAIF : (unit, bits(4)) -> unit effect {wreg} -function wPSTATE_DAIF((), [d,a,i,f]) = +val wPSTATE_DAIF : (bits(4)) -> unit effect {wreg} +function wPSTATE_DAIF([d,a,i,f]) = { PSTATE_D() = [d]; PSTATE_A() = [a]; |