[PATCH] tee: Pass a pointer to virt_to_page()