Constant PLAT_IRQ_FORWARD_SET_LEVEL_TRIGGER_EVENTFD

pub const PLAT_IRQ_FORWARD_SET_LEVEL_TRIGGER_EVENTFD: u32 = 1;