Symbol: ctx_flush
sys/arch/powerpc/ibm4xx/pmap.c
1926
ctx_flush(cnum);
sys/arch/powerpc/ibm4xx/pmap.c
1964
ctx_flush(oldctx);
sys/arch/powerpc/ibm4xx/pmap.c
199
static void ctx_flush(int);