pub const IDENTITY_LOW_BYTES: u64 = 0x20_0000;
Keep a tiny identity map so the paging switch code remains executable right after CR3 reload (and to let you pass low pointers if you want).