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

#define         RISCV_HWPROBE_VENDOR_EXT_XTHEADVECTOR   (1 << 0)