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

Reply via email to