diff options
| author | marius <marius@FreeBSD.org> | 2010-08-21 14:28:48 +0000 |
|---|---|---|
| committer | marius <marius@FreeBSD.org> | 2010-08-21 14:28:48 +0000 |
| commit | dd1113bf706853eead2dd149c947c9971a49da74 (patch) | |
| tree | 30569d6d6c76bfa6b781842155d2e1e656898d28 /gnu | |
| parent | 1702ed2db392af6a922e6215cbfffbd5e727357c (diff) | |
| download | FreeBSD-src-dd1113bf706853eead2dd149c947c9971a49da74.zip FreeBSD-src-dd1113bf706853eead2dd149c947c9971a49da74.tar.gz | |
Skip a KASSERT which isn't appropriate when not employing page coloring.
Reported by: Michael Moll
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions
