Operation

CheckCapabilitiesEnabled(); VirtualAddress base; Capability data1; Capability data2; boolean rt_unknown = FALSE; boolean rn_unknown = FALSE; if s == t || s == t2 then Constraint c = ConstrainUnpredictable(Unpredictable_DATAOVERLAP); assert c IN {Constraint_UNKNOWN, Constraint_NONE, Constraint_UNDEF, Constraint_NOP}; case c of when Constraint_UNKNOWN rt_unknown = TRUE; // store UNKNOWN value when Constraint_NONE rt_unknown = FALSE; // store original value when Constraint_UNDEF UNDEFINED; when Constraint_NOP EndOfInstruction(); if s == n && n != 31 then Constraint c = ConstrainUnpredictable(Unpredictable_BASEOVERLAP); assert c IN {Constraint_UNKNOWN, Constraint_NONE, Constraint_UNDEF, Constraint_NOP}; case c of when Constraint_UNKNOWN rn_unknown = TRUE; // address is UNKNOWN when Constraint_NONE rn_unknown = FALSE; // address is original base when Constraint_UNDEF UNDEFINED; when Constraint_NOP EndOfInstruction(); if rt_unknown then data1 = Capability UNKNOWN; data2 = Capability UNKNOWN; else data1 = C[t]; data2 = C[t2]; if rn_unknown then base = VirtualAddress UNKNOWN; else base = BaseReg[n]; bits(64) cap_required1 = CAP_PERM_STORE; bits(64) cap_required2 = CAP_PERM_STORE; if CapIsTagSet(data1) then cap_required1 = cap_required1 OR CAP_PERM_STORE_CAP; if CapIsLocal(data1) then cap_required1 = cap_required1 OR CAP_PERM_STORE_LOCAL; if CapIsTagSet(data2) then cap_required2 = cap_required2 OR CAP_PERM_STORE_CAP; if CapIsLocal(data2) then cap_required2 = cap_required2 OR CAP_PERM_STORE_LOCAL; bits(64) addr = VAddress(base); VACheckAddress(base, addr, CAPABILITY_DBYTES, cap_required1, acctype); VACheckAddress(base, addr + CAPABILITY_DBYTES<63:0>, CAPABILITY_DBYTES, cap_required2, acctype); bit status = '1'; if AArch64.ExclusiveMonitorsPass(addr, CAPABILITY_DBYTES*2) then MemCP(addr, acctype, data1, data2); status = ExclusiveMonitorsStatus(); X[s] = ZeroExtend(status, 32);