Searched refs:isb_tag (Results 1 – 2 of 2) sorted by relevance
1111 u32 isb_tag[WX_ISB_MAX]; member
2090 wx->isb_tag[idx] = cur_tag; in wx_misc_isb()