Skip to content

Latest commit

 

History

History
45 lines (31 loc) · 864 Bytes

amoswap_32bit_cap.adoc

File metadata and controls

45 lines (31 loc) · 864 Bytes

AMOSWAP.C

Synopsis

Atomic Operation (AMOSWAP.C), 32-bit encoding

{cheri_cap_mode_name} Mnemonic

amoswap.c cd, cs2, offset(cs1)

{cheri_int_mode_name} Mnemonic

amoswap.c cd, cs2, offset(rs1)

Encoding

wavedrom/amoswap_cap.adoc

{cheri_cap_mode_name} Description

Atomic swap of capability type, authorized by the capability in cs1.

{cheri_int_mode_name} Description

Atomic swap of capability type, authorized by the capability in [ddc].

Exceptions

require_cre.adoc

Prerequisites for {cheri_cap_mode_name} AMOSWAP.C

{cheri_base_ext_name}, and A

Prerequisites for {cheri_int_mode_name} AMOSWAP.C

{cheri_default_ext_name}, and A

Operation

TODO