Symbol: rtc_pl031_update_timer
usr.sbin/bhyve/rtc_pl031.c
162
rtc_pl031_update_timer(sc);
usr.sbin/bhyve/rtc_pl031.c
183
rtc_pl031_update_timer(sc);
usr.sbin/bhyve/rtc_pl031.c
188
rtc_pl031_update_timer(sc);