hello, I've a little doubt, kernel VA on x86 starts at 0xc0000000 to 0xffffffff and user VA from 0x0 to 0xbfffffff, on x86_64 i just see: #define __PHYSICAL_START ((unsigned long)CONFIG_PHYSICAL_START) #define __START_KERNEL (__START_KERNEL_map + __PHYSICAL_START) where __PHYSICAL_START is 0x200000. kernel VA doesn't start at 0xffff800000000000 to 0xffffffffffffffff and user VA from 0x0 to 0x0000bfffffffffff ? Thanks in advance, -- noone is alone. -- To unsubscribe from this list: send an email with "unsubscribe kernelnewbies" to ecartis@xxxxxxxxxxxx Please read the FAQ at http://kernelnewbies.org/FAQ