Searched defs:hart_idx (Results 1 – 1 of 1) sorted by relevance
387 uint32_t hart_idx, uint32_t guest_idx, in riscv_aplic_msi_send()452 uint32_t hart_idx, guest_idx, eiid; in riscv_aplic_msi_irq_update() local