Fishy casting in dbg_print() from pointers to non-pointers

[Eyal Rozenberg]

In the dbg_print() we cast void*s into longs and chars; that's not right... apparently, the macros PR_CHR(), PR_INT() and others cast those non-pointer values into a void*. Instead, let them pass the addresses of the values as void *. That would be the minimal possible change.