![jdolecek](/assets/img/avatar_default.png)
happens fairly commonly if e.g. some files are still opened then the unmount is attempted * if the second vflush() (including system vnodes) fails, we should probably panic, it's too serious; for now, just add a comment
happens fairly commonly if e.g. some files are still opened then the unmount is attempted * if the second vflush() (including system vnodes) fails, we should probably panic, it's too serious; for now, just add a comment