Symbol: CTXSIZE
sys/arch/sparc64/sparc64/pmap.c
811
valloc(ctxbusy, paddr_t, CTXSIZE);
sys/arch/sparc64/sparc64/pmap.c
812
bzero((caddr_t)ctxbusy, CTXSIZE);