Symbol: KSEG1ADDR
sys/arch/mips/adm5120/dev/ahci.c
1158
#define KSEG1ADDR(x) (0xa0000000 | (((uint32_t)x) & 0x1fffffff))
sys/arch/mips/adm5120/dev/ahci.c
852
#define KSEG1ADDR(x) (0xa0000000 | (((uint32_t)x) & 0x1fffffff))