ESR_ELx_EC_WFx
#define ESR_ELx_WFx_WFI_VAL ((ESR_ELx_EC_WFx << ESR_ELx_EC_SHIFT) | \
case ESR_ELx_EC_WFx:
[ESR_ELx_EC_WFx] = "WFI/WFE",
[ESR_ELx_EC_WFx] = kvm_handle_wfx,
#define ESR_ELx_WFx_WFI_VAL ((ESR_ELx_EC_WFx << ESR_ELx_EC_SHIFT) | \