msgsndu

Message Send Ultravisor

msgsndu RB

Sends a message to other threads in the system.

Details

The instruction sends a message to other threads in the system. The message type and destination thread(s) are specified in RB.

Pseudocode Operation

msgtype ← GPR(RB)32:36
payload ← GPR(RB)37:63
if (msgtype = 0x05)
then
    send_msg(msgtype, payload)

Programming Note

If msgsndu is used to notify the receiver that updates have been made to storage, a sync should be placed between the stores and the msgsndu. See Section 6.9.2.

Example

msgsndu r5

Encoding

Binary Layout

Format X-form

Opcode 0x7C00009C

Extension Privileged

Operands

RB
Source General Purpose Register