- The virtio balloon driver asserts that a newly allocated page does not belong to a page queue. The page is allocated with _NOOBJ, and the page allocator already ensures that all queue state is cleared before returning a page.
- When forcing swapins by disabling a swap device, we assert that any resident pages backed by the device are either wired or enqueued.
When the wire count and queue state are updated using atomics, these
invariants are harder to assert. Since they seem somewhat arbitrary,
remove them. The pmap layer does not, for example, assert that newly
allocated PTPs are not enqueued.