From 2ebb094102a0622a1cc1064432af5be46ce67b33 Mon Sep 17 00:00:00 2001 From: Ben Hamlin Date: Thu, 19 Jan 2023 03:14:45 +0000 Subject: [PATCH] Update function signatures to use seL4_Word Signed-off-by: Ben Hamlin --- components/Ethdriver/src/ethdriver.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/components/Ethdriver/src/ethdriver.c b/components/Ethdriver/src/ethdriver.c index b11a90e..5042ee3 100644 --- a/components/Ethdriver/src/ethdriver.c +++ b/components/Ethdriver/src/ethdriver.c @@ -108,8 +108,8 @@ static int done_init = 0; void client_emit(unsigned int client_id); unsigned int client_get_sender_id(void); unsigned int client_num_badges(void); -unsigned int client_enumerate_badge(unsigned int i); -void *client_buf(unsigned int client_id); +seL4_Word client_enumerate_badge(unsigned int i); +void *client_buf(seL4_Word client_id); bool client_has_mac(unsigned int client_id); void client_get_mac(unsigned int client_id, uint8_t *mac);