rtc_pl031_read
*val = rtc_pl031_read(sc, reg);
uint32_t rtc_pl031_read(struct rtc_pl031_softc *sc, int offset);