Searched refs:rds_page_exit (Results 1 – 3 of 3) sorted by relevance
153 void rds_page_exit(void) in rds_page_exit() function
886 rds_page_exit(); in rds_exit()949 rds_page_exit(); in rds_init()
887 void rds_page_exit(void);