ESR_ELx_EC_WATCHPT_CUR
case ESR_ELx_EC_WATCHPT_CUR:
[ESR_ELx_EC_WATCHPT_CUR] = "Watchpoint (current EL)",
ESR_ELx_EC_WATCHPT_CUR, guest_wp_handler);