Searched defs:hart_idx (Results 1 – 2 of 2) sorted by relevance
353 uint32_t hart_idx, uint32_t guest_idx, in riscv_aplic_msi_send()411 uint32_t hart_idx, guest_idx, eiid; in riscv_aplic_msi_irq_update() local
233 u32 hart_idx, guest_idx, eiid; in aplic_inject_msi() local