__swap_table_xchg
old_tb = __swap_table_xchg(ci, ci_off, new_tb);
old = __swap_table_xchg(ci, ci_off, null_to_swp_tb());