SAPIC_RTE_BASE
p[0] = sapic_read(sa, SAPIC_RTE_BASE + 2 * which);
p[1] = sapic_read(sa, SAPIC_RTE_BASE + 2 * which + 1);
sapic_write(sa, SAPIC_RTE_BASE + 2 * which, p[0]);
sapic_write(sa, SAPIC_RTE_BASE + 2 * which + 1, p[1]);