pub const MAIL32: u64 = _; // 3_759_144_960u64
Address of the mailbox in a 32-bit guest, one megabyte above its gates.