WFI/E are 4 bytes long: set ARM_EL_IL_SHIFT in the syndrome. Signed-off-by: Stefano Stabellini <sstabell...@kernel.org>
diff --git a/target/arm/internals.h b/target/arm/internals.h index 1f6efef..cf8c966 100644 --- a/target/arm/internals.h +++ b/target/arm/internals.h @@ -398,6 +398,7 @@ static inline uint32_t syn_breakpoint(int same_el) static inline uint32_t syn_wfx(int cv, int cond, int ti) { return (EC_WFX_TRAP << ARM_EL_EC_SHIFT) | + (1 << ARM_EL_IL_SHIFT) | (cv << 24) | (cond << 20) | ti; }