Searched refs:rds_page_exit (Results 1 – 3 of 3) sorted by relevance
207 void rds_page_exit(void) in rds_page_exit() function
575 rds_page_exit(); in rds_exit()626 rds_page_exit(); in rds_init()
716 void rds_page_exit(void);