Searched defs:topei (Results 1 – 3 of 3) sorted by relevance
130 uint32_t base, topei = riscv_imsic_topei(imsic, page); in riscv_imsic_topei_rmw() local
845 u32 topei; in kvm_riscv_vcpu_aia_imsic_rmw() local
3409 target_ulong topei; in read_vstopi() local