Constant POST_BOOTFS_VMO 

pub const POST_BOOTFS_VMO: u64 = 0x3ba75f7fdc77fff3;