Add example of using access_context_t and vmi_get_va_pages