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