/* SPDX-License-Identifier: GPL-2.0 */ // Copyright (C) 2018 Hangzhou C-SKY Microsystems co.,ltd. #ifndef __ASM_CSKY_ADDRSPACE_H #define __ASM_CSKY_ADDRSPACE_H #define KSEG0 0x80000000ul #define KSEG0ADDR(a) (((unsigned long)a & 0x1fffffff) | KSEG0) #endif /* __ASM_CSKY_ADDRSPACE_H */