pub fn seal()Expand description
Seal the boot allocator so no further allocations can be made from it.
Called immediately after the buddy allocator consumes the remaining free
regions via snapshot_free_regions. Any subsequent alloc_stack call
would otherwise double-allocate pages that are already tracked in the
buddy allocator’s free lists.