SYSL

System instruction with result

For more information, see Op0 equals 0b01, cache maintenance, TLB maintenance, and address translation instructions for the encodings of System instructions.

Encoding: System

313029282726252423222120191817161514131211109876543210
1101010100101
Lop1CRnCRmop2Rt

SYSL <Xt>, #<op1>, <Cn>, <Cm>, #<op2>

Decoding algorithm

constant integer t       = UInt(Rt);
constant bits(1) sys_L   = L;
constant bits(2) sys_op0 = '01';
constant bits(3) sys_op1 = op1;
constant bits(3) sys_op2 = op2;
constant bits(4) sys_crn = CRn;
constant bits(4) sys_crm = CRm;

Operation

AArch64.CheckSystemAccess(sys_op0, sys_op1, sys_crn, sys_crm, sys_op2, t, sys_L);
AArch64.SysInstrWithResult(sys_op0, sys_op1, sys_crn, sys_crm, sys_op2, t);

Explanations

<Xt>: Is the 64-bit name of the general-purpose destination register, encoded in the "Rt" field.
<op1>: Is a 3-bit unsigned immediate, in the range 0 to 7, encoded in the "op1" field.
<Cn>: Is a name 'Cn', with 'n' in the range 0 to 15, encoded in the "CRn" field.
<Cm>: Is a name 'Cm', with 'm' in the range 0 to 15, encoded in the "CRm" field.
<op2>: Is a 3-bit unsigned immediate, in the range 0 to 7, encoded in the "op2" field.