}
MPERS_PRINTER_DECL(void, printsiginfo_at,
- struct tcb *const tcp, const kernel_ureg_t addr)
+ struct tcb *const tcp, const kernel_ulong_t addr)
{
siginfo_t si;
}
MPERS_PRINTER_DECL(void, print_siginfo_array, struct tcb *const tcp,
- const kernel_ureg_t addr, const kernel_ureg_t len)
+ const kernel_ulong_t addr, const kernel_ulong_t len)
{
siginfo_t si;