Searched refs:best_iprio (Results 1 – 1 of 1) sorted by relevance
443 uint32_t best_irq, best_iprio; in riscv_aplic_idc_topi() local451 best_irq = best_iprio = UINT32_MAX; in riscv_aplic_idc_topi()469 if (iprio < best_iprio) { in riscv_aplic_idc_topi()471 best_iprio = iprio; in riscv_aplic_idc_topi()475 if (best_irq < aplic->num_irqs && best_iprio <= aplic->iprio_mask) { in riscv_aplic_idc_topi()476 return (best_irq << APLIC_IDC_TOPI_ID_SHIFT) | best_iprio; in riscv_aplic_idc_topi()