sevl

Send Event Local (Thumb)

SEVL

Send local event (Thumb).

Pseudocode Operation

EventRegister[PE].LocalEvent ← 1

Encoding

Binary Layout
10111111
15:8
0101
7:4
0000
3:0
 
Format Thumb System
Opcode 0xBF50
Extension T32 (Base)

Operands

Related

Other forms of sevl

  • sevl Send Event Local
  • sevl Send Event Local (A32)

More in T32 (Base)

Reference

Instruction Forms

Encoding Instruction ISA Bit pattern
0x0320F005 SEVL{<c>}{<q>} A32 cond | 00110 | 0 | 10 | 00 | 00 | 1 | 1 | 1 | 1 | 000000000101
0xBF50 SEVL{<c>}{<q>} T32 10111111 | 0101 | 0000
0xF3AF8005 SEVL{<c>}.W T32 111100111010 | 1 | 1 | 1 | 1 | 10 | 0 | 0 | 0 | 000 | 0000 | 0101

Description

Send Event Local is a hint instruction that causes an event to be signaled locally without requiring the event to be signaled to other PEs in the multiprocessor system. It can prime a wait-loop which starts with a WFE instruction.

Operation

if ConditionPassed() then
    EncodingSpecificOperations();
    SendEventLocal();