1 /* SPDX-License-Identifier: GPL-2.0 */
2 #include <asm-generic/xor.h>
3 #include <shared/timer-internal.h>
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)