Constant PXE_REG_INDEX_TOP 

pub const PXE_REG_INDEX_TOP: u32 = 0u32;