732,734c732,734
< case MISCREG_CNTPS_CVAL_EL1:
< case MISCREG_CNTPS_TVAL_EL1:
< case MISCREG_CNTPS_CTL_EL1:
---
> // case MISCREG_CNTPS_CVAL_EL1:
> // case MISCREG_CNTPS_TVAL_EL1:
> // case MISCREG_CNTPS_CTL_EL1:
737,740c737,740
< case MISCREG_CNTHCTL:
< case MISCREG_CNTHP_CVAL:
< case MISCREG_CNTHP_TVAL:
< case MISCREG_CNTHP_CTL:
---
> // case MISCREG_CNTHCTL:
> // case MISCREG_CNTHP_CVAL:
> // case MISCREG_CNTHP_TVAL:
> // case MISCREG_CNTHP_CTL:
742,745c742,745
< case MISCREG_CNTHCTL_EL2:
< case MISCREG_CNTHP_CVAL_EL2:
< case MISCREG_CNTHP_TVAL_EL2:
< case MISCREG_CNTHP_CTL_EL2:
---
> // case MISCREG_CNTHCTL_EL2:
> // case MISCREG_CNTHP_CVAL_EL2:
> // case MISCREG_CNTHP_TVAL_EL2:
> // case MISCREG_CNTHP_CTL_EL2:
748,750c748,750
< case MISCREG_CNTV_CVAL:
< case MISCREG_CNTV_TVAL:
< case MISCREG_CNTV_CTL:
---
> // case MISCREG_CNTV_CVAL:
> // case MISCREG_CNTV_TVAL:
> // case MISCREG_CNTV_CTL:
755c755
< panic("Generic Timer register not implemented\n");
---
> default:
1905d1904
< panic("Generic Timer register not implemented\n");