pub const MAIL64: u64 = _; // 124_244_814_987_264u64
Address of the mailbox in a 64-bit guest, one megabyte above its gates.