pub fn free_frame(token: &IrqDisabledToken, frame: PhysFrame)Expand description
Free a single physical frame.
Requires an IrqDisabledToken proving that IRQs are disabled on the calling CPU.
The caller must ensure that the frame is not currently mapped anywhere and that
the buddy allocator’s internal metadata is consistent with the frame’s state (e.g. refcount = 0).
Prefer free_frames() for multi-frame blocks or when the buddy allocator’s internal state may need to be updated.
This raw path is kept for symmetry with allocate_frames() and for special cases where the caller manages zeroing and metadata explicitly.
For standard single-frame deallocation, prefer release_owned_block() which also handles ownership table updates and safety checks.