panic: assertion: pmap->pm_stats.resident_count > 0 in pmap_release_free_page

[YONETANI Tomokazu]

On Tue, Dec 29, 2009 at 07:56:31PM -0800, Matthew Dillon wrote:
>     There is another possibility... it could be actual bad memory,
>     or bad timing if you've accelerated your cpus.  Try shifting
>     the memory around and detuning the cpu frequency or FSB frequency
>     if the BIOS has the ability to do so.  I only give it a 15% chance
>     of being the issue.

Although the CPU is not over-clocked, I have three memory modules of
512Mbytes with different speeds(DDR266, DDR333, DDR400) installed
on this system.  I believed this should be no problem; the BIOS
screen indicated that all modules are treated as DDR266.  But I'll try
with the DDR400 one and see if that helps (I'm not sure 512M is enough
for HAMMER and vkernel, though).

Thanks for the hint.