You copied the Doc URL to your clipboard.

WFIT

Wait For Interrupt with Timeout is a hint instruction that indicates that the PE can enter a low-power state and remain there until either a local timeout event or a wakeup event occurs. For more information, see Wait For Interrupt.

As described in Wait For Interrupt, the execution of a WFIT instruction that would otherwise cause entry to a low-power state can be trapped to a higher Exception level. See:

System
(Armv8.7)

313029282726252423222120191817161514131211109876543210
110101010000001100010000001Rd
op2

WFIT <Xt>

if !HaveFeatWFxT() then UNDEFINED;

integer d = UInt(Rd);

Assembler Symbols

<Xt>

Is the 64-bit name of the general-purpose source register, encoded in the "Rd" field.

Operation

bits(64) operand = X[d];
integer localtimeout = UInt(operand);

if Halted() && ConstrainUnpredictableBool(Unpredictable_WFxTDEBUG) then
    EndOfInstruction();

Hint_WFI(localtimeout);