1 /* SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note */ 2 3 #define RISCV_HWPROBE_VENDOR_EXT_XMIPSEXECTL BIT(0) 4