Bug #8172
Updated by Evgeny Novikov about 7 years ago
After multimodule verification, existed marks don't apply to unsafe results. The reason for this is other names of verification object (say, _net/unix/unix.ko713c5ebc642b_ object. (net/unix/unix.ko713c5ebc642b instead of _net/unix/unix.ko_). net/unix/unix.ko)