has_erratum_handler
has_erratum_handler(read_cntvct_el0) ||
return has_erratum_handler(read_cntvct_el0);