SEGKPDEFSIZE
size = SEGKPDEFSIZE;
segkpsize = mmu_btop(SEGKPDEFSIZE);
btop(SEGKPDEFSIZE); /* size of segkp segment in pages */
segkpsize = btop(SEGKPDEFSIZE);