1 // SPDX-License-Identifier: GPL-2.0-only
2 
3 #include <asm/vendor_extensions/thead.h>
4 #include <asm/vendor_extensions/thead_hwprobe.h>
5 #include <asm/vendor_extensions/vendor_hwprobe.h>
6 
7 #include <linux/cpumask.h>
8 #include <linux/types.h>
9 
10 #include <uapi/asm/hwprobe.h>
11 #include <uapi/asm/vendor/thead.h>
12 
hwprobe_isa_vendor_ext_thead_0(struct riscv_hwprobe * pair,const struct cpumask * cpus)13 void hwprobe_isa_vendor_ext_thead_0(struct riscv_hwprobe *pair, const struct cpumask *cpus)
14 {
15 	VENDOR_EXTENSION_SUPPORTED(pair, cpus,
16 				   riscv_isa_vendor_ext_list_thead.per_hart_isa_bitmap, {
17 		VENDOR_EXT_KEY(XTHEADVECTOR);
18 	});
19 }
20