ARM Architecture Reference Manual ARMv7-A and ARMv7-R edition

Pseudocode Index
SendEvent() Perform function of SEV hint instruction Pseudocode details of the Wait For
Event lock mechanism on
page B1-46
SerializeVFP() Ensure exceptional conditions in
preceding VFP instructions have been
detected
SetExclusiveMonitors() Set exclusive monitors for a
Load-Exclusive operation
Shift() Perform a specified shift by a specified
amount on a bitstring
Shift_C() Perform a specified shift by a specified
amount on a bitstring, with carry output
SignedSat() Convert integer to bitstring with signed
saturation
SignedSatQ() Convert integer to bitstring with signed
saturation, with saturated flag output
SignExtend() Extend bitstring to left with copies of its
leftmost bit
SInt() Convert bitstring to integer in signed
(two's complement) fashion
Asynchronous bounces,
serialization, and VFP exception
barriers on page B1-70
Exclusive monitors operations on
page B2-35
Pseudocode details of
instruction-specified shifts and
rotates on page A8-11
Pseudocode details of saturation on
page A2-9
Zero-extension and sign-extension of
bitstrings on page AppxI-13
Converting bitstrings to integers on
page AppxI-14
SPSR[] Access the SPSR of the current mode Pseudocode details of PSR
operations on page B1-20
SPSRWriteByInstr() SPSR write by an instruction
SwitchToJazelleExecution() Start Jazelle extension execution of
bytecodes
Table J-2 Pseudocode functions and procedures (continued)
Function Meaning See
SwitchToJazelleExecution() on
page AppxI-26
TakeDataAbortException() Perform a Data Abort exception entry Data Abort exception on page B1-55
TakeFIQException() Perform an FIQ interrupt exception entry FIQ exception on page B1-60
TakeIRQException() Perform an IRQ interrupt exception entry IRQ exception on page B1-58
TakePrefetchAbortException() Perform a Prefetch Abort exception entry Prefetch Abort exception on
page B1-54
TakeReset() Perform a Reset exception entry Reset on page B1-48
ARM DDI 0406B Copyright © 1996-1998, 2000, 2004-2008 ARM Limited. All rights reserved. AppxJ-17