Re: [PATCH v1 ] nitro_enclaves: Add mmap_read_lock() for the get_user_pages() call