ocxl_afu_irq_get_addr
EXPORT_SYMBOL_GPL(ocxl_afu_irq_get_addr);
trigger_addr = ocxl_afu_irq_get_addr(ctx, irq_id);
if (!ocxl_afu_irq_get_addr(ctx, irq_id))
u64 ocxl_afu_irq_get_addr(struct ocxl_context *ctx, int irq_id);