Searched refs:hviid (Results 1 – 1 of 1) sorted by relevance
3033 uint32_t iid, iprio, hviid, hviprio, gein; in read_vstopi() local3037 hviid = get_field(env->hvictl, HVICTL_IID); in read_vstopi()3063 if (hviid == IRQ_S_EXT && hviprio) { in read_vstopi()3071 if (hviid != IRQ_S_EXT) { in read_vstopi()3072 siid[scount] = hviid; in read_vstopi()