> kcov returns kernel pointers, 32-bit program executed by 64-bit
> kernel cannot store them in 32-bit integers.

Why would you store pointers in integers at all?  Surely the right
thing to do is store them as void * (for data pointers) or void (*)()
(for function pointers)...?

/~\ The ASCII                             Mouse
\ / Ribbon Campaign
 X  Against HTML                mo...@rodents-montreal.org
/ \ Email!           7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B

Reply via email to