Made errval_t a flounder builtin.
[barrelfish] / include / arch / x86_64 / barrelfish_kpi / registers_arch.h
index 85f8109..f19e976 100644 (file)
@@ -38,7 +38,7 @@ registers_set_param(arch_registers_state_t *regs, uint64_t param)
 }
 
 static inline void
-registers_get_param(arch_registers_state_t *regs, uint64_t *param)
+registers_get_param(arch_registers_state_t *regs, uintptr_t *param)
 {
     registers_x86_64_get_param(regs, param);
 }