I mounted devfs on /mnt, then mounted /dev/sd1c on /mnt (forgot about devfs). Then, when I tried to umount, the machine did a cold boot (no panic). I was trying to configure sd1 to eventually be sd0 (finally figured it out). Fix: don't mount two different devices on the same mount point... How-To-Repeat: mount_devfs devfs /mnt mount /dev/sd1c /mnt umount devfs # message saying devfs wasn't mounted... umount /mnt # probably not what I _should_ have done, but... # instant cold boot (no panic).
State Changed From-To: open->closed originator confirms closure because real bug is with umounting devfs
State Changed From-To: closed->open Re-opened because there is still a devfs problem here, and there are no other PRs open on that problem.
Responsible Changed From-To: freebsd-bugs->julian Devfs is Julian's baby.
State Changed From-To: open->closed Suggested fixes from PR # 3276 and 3469 applied, in rev 1.36 and 1.17 of devfs_tree.c, and devfs_vfsops.c, respectively. Thanks for the fixes! (There are still problems regarding the final umount, but the kernel doesn't crash anymore.)