Searched refs:rds_page_exit (Results 1 – 3 of 3) sorted by relevance
207 void rds_page_exit(void) in rds_page_exit() function
540 rds_page_exit(); in rds_exit()585 rds_page_exit(); in rds_init()
698 void rds_page_exit(void);