Balloc: prove that it is safe to discard the allocator cache
Balloc: prove that it is safe to discard the allocator cache

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl