xicp_mem_for_cpu
regs = xicp_mem_for_cpu(PCPU_GET(hwref));
bus_write_4(xicp_mem_for_cpu(PCPU_GET(hwref)), 4, xirr);
bus_write_1(xicp_mem_for_cpu(cpu), 12, XICP_PRIORITY);