Module Name: src Committed By: skrll Date: Fri Oct 24 07:08:26 UTC 2014
Modified Files: src/sys/arch/arm/arm32: arm32_kvminit.c Log Message: Remove unnecessary #include To generate a diff of this commit: cvs rdiff -u -r1.30 -r1.31 src/sys/arch/arm/arm32/arm32_kvminit.c Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.