These changes move Linux kernel PAGE_OFFSET to 0xffff_0000_0000_0000. It allows us to use RTP1 for kernel and RTP0 for userspace, so no need to remap kernel for each memory map switch.
WIP because:
Need to be tested compared to general ARC64 build;
2. SMP need to be fixed, GET_CURR_TASK_ON_CPU and SET_CURR_TASK_ON_CPU don't support 64-bit addresses at the moment.
These changes move Linux kernel PAGE_OFFSET to 0xffff_0000_0000_0000. It allows us to use RTP1 for kernel and RTP0 for userspace, so no need to remap kernel for each memory map switch.
WIP because:
2. SMP need to be fixed, GET_CURR_TASK_ON_CPU and SET_CURR_TASK_ON_CPU don't support 64-bit addresses at the moment.