rpiclock_enable
void rpiclock_enable(void *, uint32_t *, int);
sc->sc_cd.cd_enable = rpiclock_enable;