Constant DFL_FPGA_PORT_UINT_GET_IRQ_NUM 

pub const DFL_FPGA_PORT_UINT_GET_IRQ_NUM: u32 = 2147792455;