1 /* SPDX-License-Identifier: GPL-2.0 */ 2 // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd. 3 4 #ifndef __ASM_CSKY_ADDRSPACE_H 5 #define __ASM_CSKY_ADDRSPACE_H 6 7 #define KSEG0 0x80000000ul 8 #define KSEG0ADDR(a) (((unsigned long)a & 0x1fffffff) | KSEG0) 9 10 #endif /* __ASM_CSKY_ADDRSPACE_H */