Searched refs:hviid (Results 1 – 1 of 1) sorted by relevance
3411 uint32_t iid, iprio, hviid, hviprio, gein; in read_vstopi() local3415 hviid = get_field(env->hvictl, HVICTL_IID); in read_vstopi()3441 if (hviid == IRQ_S_EXT && hviprio) { in read_vstopi()3449 if (hviid != IRQ_S_EXT) { in read_vstopi()3450 siid[scount] = hviid; in read_vstopi()