Symbol: erdma_user_dbrecords_page