Constant PXE_REG_INDEX_TOP

pub const PXE_REG_INDEX_TOP: u32 = 0u32;