> > It's a virtual address so it depends on the value of CONFIG_KERNEL_START > as to whether this is a user program address or not. Shouldn't it be PAGE_OFFSET ? I mean, CONFIG_KERNEL_START should work on powerpc, but still... Ben.