Constant PXE_MAX_ADDRESS 

pub const PXE_MAX_ADDRESS: u32 = 16u32;