[6.3] ALT-CTRL-DEL = clean unmount?

[Gilles]

Hello

I was wondering: When hitting the ALT-CTRL-DEL combination as an easy
way to call "reboot", does this unmount disks properly?

I'm concerned because I did this recently, and here's what dmesg says:

ad0: DMA limited to UDMA33, controller found non-ATA66 cable
ad0: 19092MB <Seagate ST320413A 3.39> at ata0-master UDMA33
acd0: CDROM <ASUS CD-S400/A/V2.3H> at ata1-master UDMA33
Trying to mount root from ufs:/dev/ad0s1a
WARNING: / was not properly dismounted
WARNING: /tmp was not properly dismounted
WARNING: /usr was not properly dismounted
WARNING: /var was not properly dismounted

Thank you.