Symbol: rde_rpki_reload
usr.sbin/bgpd/rde.c
1399
rde_rpki_reload();
usr.sbin/bgpd/rde.c
84
static void rde_rpki_reload(void);