| /* 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 */ |