Constant POST_BOOTFS_VMO 

pub const POST_BOOTFS_VMO: u64 = 0x3ba75f7fdc77fff3 /* 4_298_509_372_112_764_915u64 */;