Searched refs:thread_nr (Results 1 – 1 of 1) sorted by relevance
52 int thread_nr = src_pir & 0x7f; in get_sync_addr() local53 uint64_t addr = XIVE_SYNC_MEM + thread_nr * 512 + ic_topo_id * 32 + type; in get_sync_addr()