H_KERN_IO_START
#define H_KERN_IO_END (H_KERN_IO_START + H_KERN_IO_SIZE)
#define IO_REGION_ID NON_LINEAR_REGION_ID(H_KERN_IO_START)
__kernel_io_start = H_KERN_IO_START;