#include <signal.h>
#include "xlat/sigev_value.h"
-MPERS_PRINTER_DECL(void, print_sigevent, struct tcb *tcp, const long addr)
+MPERS_PRINTER_DECL(void, print_sigevent,
+ struct tcb *const tcp, const kernel_ureg_t addr)
{
struct_sigevent sev;
tprints("{");
if (sev.sigev_value.sival_ptr) {
- tprintf("sigev_value={int=%d, ptr=",
+ tprintf("sigev_value={sival_int=%d, sival_ptr=",
sev.sigev_value.sival_int);
- printaddr((unsigned long) sev.sigev_value.sival_ptr);
+ printaddr(sev.sigev_value.sival_ptr);
tprints("}, ");
}