ESR_EC_WTCHPNT_EL1
[ESR_EC_WTCHPNT_EL1] = "Watchpoint (EL1)",
case ESR_EC_WTCHPNT_EL1:
else if (eclass == ESR_EC_WTCHPNT_EL1)