Made errval_t a flounder builtin.
[barrelfish] / include / arch / x86_32 / barrelfish_kpi / registers_arch.h
index d1b5889..ae8bda5 100644 (file)
@@ -38,7 +38,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)
 {
     registers_x86_32_get_param(regs, param);
 }