rndrrs

Random Number Reseed

RNDRRS <Xt>

Reads a random number and requests reseed.

Details

The Random Number Reseed instruction reads a random number and requests reseed.

Pseudocode Operation

// Reads a random number and requests reseed

Example

RNDRRS x3

Encoding

Binary Layout
11010101001
00011
0011
0010
011
Rt
 
Format System
Opcode 0xD53B2600
Extension FEAT_RNG

Operands

  • Xt
    Transfer 64-bit integer register (load/store)