/* SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note */

#define RISCV_HWPROBE_VENDOR_EXT_XMIPSEXECTL    BIT(0)