> 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