Made errval_t a flounder builtin.

[barrelfish] / include / arch / arm / barrelfish_kpi / registers_arch.h

diff --git a/include/arch/arm/barrelfish_kpi/registers_arch.h b/include/arch/arm/barrelfish_kpi/registers_arch.h
index d6213fa..a7fe793 100644 (file)
--- a/include/arch/arm/barrelfish_kpi/registers_arch.h
+++ b/include/arch/arm/barrelfish_kpi/registers_arch.h
@@ -113,7 +113,7 @@ registers_set_param(arch_registers_state_t *regs, uint32_t param)
 }
 
 static inline void
-registers_get_param(arch_registers_state_t *regs, uint32_t *param)
+registers_get_param(arch_registers_state_t *regs, uintptr_t *param)
 {
     *param = regs->named.r0;
 }