IRQ_S_GEXT
hgei_parent_irq = irq_create_mapping(domain, IRQ_S_GEXT);
csr_set(CSR_HIE, BIT(IRQ_S_GEXT));
csr_clear(CSR_HIE, BIT(IRQ_S_GEXT));
TRAP(IRQ_S_GEXT), TRAP(IRQ_PMU_OVF), \