Updated micscif/miscif_api.c for new get_user_pages() function.