ABT_STACK_SIZE
abtstack + ((ABT_STACK_SIZE * PAGE_SIZE) * (cpu + 1)));
abtstack = pmap_preboot_get_vpages(ABT_STACK_SIZE * MAXCPU);