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