diff options
| author | Christopher Pulte | 2019-02-28 13:18:54 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2019-02-28 13:18:54 +0000 |
| commit | a20101dc3769b5c5a6e51753c1be42f78df86e22 (patch) | |
| tree | d99cfbf3ec04e1d117c39912a4d04e22f5ccd0a0 /aarch64_small/armV8_pstate.sail | |
| parent | 9fd08144367f0b3a08bd5fd3e973ede900a9c72d (diff) | |
more progress
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]; |