4.2.4 Load Memory Data into Integer Register Locked
Format:
| LDx_L | Ra.wq,disp.ab(Rb.ab) | !Memory format | 
Operation:
va ← {Rbv + SEXT(disp)}
| CASE | va’ ← va XOR 0002 | 
 | 
| big_endian_data: | ! LDQ_L | |
| big_endian_data: | va’ ← va XOR 1002 | ! LDL_L | 
| little_endian_data: va’ ← va | ! LDL_L | |
ENDCASE
lock_flag ← 1
locked_physical_address ← PHYSICAL_ADDRESS(va)
| Ra | ← SEXT((va’)<31:0>) | ! | LDL_L | 
| Ra | ← (va)<63:0> | ! | LDQ_L | 
Exceptions:
Access Violation
Alignment
Fault on Read
Translation Not Valid
Instruction mnemonics:
| LDL_L | Load  | 
| 
 | Locked | 
| LDQ_L | Load Quadword from Memory to Register Locked | 
Qualifiers:
None
Description:
The virtual address is computed by adding register Rb to the 
Instruction Descriptions 
