Symbol: BOOTM_VA_POOL
sys/arch/atari/atari/atari_init.c
1023
bootm_init(ioaddr, pg, BOOTM_VA_POOL);
sys/arch/atari/atari/atari_init.c
398
ptextra += btoc(BOOTM_VA_POOL);