Hello, I have started using CIL a week back and compiled 8139too driver for instrumentation.
The CIL code fails a check IS_ERR( const void * ptr) where it finally checks (x <http://lxr.free-electrons.com/ident?v=3.14;i=x>) >= (unsigned long)-MAX_ERRNO <http://lxr.free-electrons.com/ident?v=3.14;i=MAX_ERRNO> MAX_ERRNO =4095 and x is typecasted (unsigned long)ptr I did a printk to get the values of typecasted ptr and MAXERRNO to my surprise I am getting 64 bit integer value for ptr but 32 bit value for MAXERRNO I think this is due to the configuration of the CIL (it might be configured to compile for 32 bit machines) since I am running a 32 bit machine (and want to compile the code for 64 bit target) So now my question is how can i configure to build CIL for 64 bit targets. There is also a --envmachine option that I can change ( which takes values from CIL_MACHINE) but again I dont know how to use that to build for 64 bit targets. Any help is greatly appreciated :)
------------------------------------------------------------------------------
_______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users