/* Update CCH tlb interrupt select. Required when all the following is true: */
static int gru_retarget_intr(struct gru_thread_state *gts)
/* Update CCH tlb interrupt select. Required when all the following is true: */
static int gru_retarget_intr(struct gru_thread_state *gts)
{
	if (gts->ts_tlb_int_select < 0
	    || gts->ts_tlb_int_select == gru_cpu_fault_map_id())
		return 0;
	gru_dbg(grudev, "retarget from %d to %d\n", gts->ts_tlb_int_select,
		gru_cpu_fault_map_id());
	return gru_update_cch(gts);
}