From 5d97ac48f284f5eaafca383ec905dd80b91ed335 Mon Sep 17 00:00:00 2001 From: Merry Date: Fri, 23 Feb 2018 01:20:03 +0000 Subject: [PATCH] userpage: fix declarations (#20) --- exosphere/userpage.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/exosphere/userpage.h b/exosphere/userpage.h index 9f64b2fde..d6aef89ed 100644 --- a/exosphere/userpage.h +++ b/exosphere/userpage.h @@ -12,8 +12,8 @@ typedef struct { int upage_init(upage_ref_t *user_page, void *user_address); -void user_copy_to_secure(upage_ref_t *user_page, void *secure_dst, void *user_src, size_t size); -void secure_copy_to_user(upage_ref_t *user_page, void *user_dst, void *secure_src, size_t size); +int user_copy_to_secure(upage_ref_t *user_page, void *secure_dst, void *user_src, size_t size); +int secure_copy_to_user(upage_ref_t *user_page, void *user_dst, void *secure_src, size_t size); static inline uint64_t get_page_for_address(void *address) { return ((uint64_t)(address)) & 0xFFFFFFFFFFFFF000ULL;