1 /* SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note */ 2 3 #include <linux/const.h> 4 5 #define RISCV_HWPROBE_VENDOR_EXT_XMIPSEXECTL _BITULL(0) 6