Searched defs:vpeid (Results 1 – 1 of 1) sorted by relevance
| /qemu/hw/intc/ |
| H A D | arm_gicv3_its.c | 61 uint32_t vpeid; member
323 static MemTxResult get_vte(GICv3ITSState *s, uint32_t vpeid, VTEntry *vte) in get_vte()
443 uint32_t vpeid, VTEntry *vte) in lookup_vte()
652 uint32_t devid, eventid, vintid, doorbell, vpeid; in process_vmapti() local
937 static bool update_vte(GICv3ITSState *s, uint32_t vpeid, const VTEntry *vte) in update_vte()
969 uint32_t vpeid; in process_vmapp() local
1014 uint32_t vpeid; member
1086 uint32_t devid, eventid, vpeid, doorbell; in process_vmovi() local
1166 uint32_t vpeid; in process_vinvall() local
|