taglinefilesource code
EXT_MEM_K80init/main.c#define EXT_MEM_K (*(unsigned short *)0x90002)
EXT_MEM_K33zBoot/misc.c#define EXT_MEM_K (*(unsigned short *)0x90002)