Searched defs:nvx_idx (Results 1 – 1 of 1) sorted by relevance
251 uint32_t nvx_idx = xive_get_field32(END2_W6_VP_OFFSET, end->w6); in xive2_end_pic_print_info() local424 uint8_t nvx_blk, uint32_t nvx_idx, in xive2_presenter_backlog_scan()466 uint8_t nvx_blk, uint32_t nvx_idx, in xive2_presenter_backlog_decr()1666 uint32_t nvx_idx; in xive2_router_end_notify() local