Searched refs:hviid (Results 1 – 1 of 1) sorted by relevance
4385 uint32_t iid, iprio, hviid, hviprio, gein; in read_vstopi() local4389 hviid = get_field(env->hvictl, HVICTL_IID); in read_vstopi()4415 if (hviid == IRQ_S_EXT && hviprio) { in read_vstopi()4423 if (hviid != IRQ_S_EXT) { in read_vstopi()4424 siid[scount] = hviid; in read_vstopi()