1 /* SPDX-License-Identifier: GPL-2.0 */ 2 #include <asm-generic/xor.h> 3 #include <shared/timer-internal.h> 4 5 /* pick an arbitrary one - measuring isn't possible with inf-cpu */ 6 #define XOR_SELECT_TEMPLATE(x) \ 7 (time_travel_mode == TT_MODE_INFCPU ? &xor_block_8regs : NULL) 8