implement something to point a memory mapped device about picoc HOT 4 CLOSED

Have a look at the NATIVE_POINTERS option. It's an experimental feature which 
may do
exactly what you want.

the problem is how to tell picoC to setup a pointer: it needs something to 
interpret this

pdevice_bytetype xdata *pdevice_byte = (char xdata *) device_addr;

how to do do ? 

Another user has reported a bug in native pointers. See bug #54.

See bug #54 is similar to the bug i pointed out
picoC is bugged about
1) char byte addressing
2) endianess (issues with bigendian machines)

ok, but what i am asking here is: could you implement something to handle 
pointer
assignment ? could you show how ?

i'd like to invoke picoC and see it pretty able to understand

pdevice_bytetype xdata *pdevice_byte = (char xdata *) device_addr;