Module Name: src Committed By: matt Date: Thu Aug 8 06:49:10 UTC 2013
Modified Files:
src/sys/arch/arm/arm32: kobj_machdep.c
Log Message:
Don't sync idcache/tlb when _RUMPKERNEL is defined.
To generate a diff of this commit:
cvs rdiff -u -r1.4 -r1.5 src/sys/arch/arm/arm32/kobj_machdep.c
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
