1# SPDX-License-Identifier: GPL-2.0
2
3gen := arch/$(ARCH)/include/generated
4kapi := $(gen)/asm
5
6kapi-hdrs-y := $(kapi)/cpucaps.h $(kapi)/sysreg-defs.h
7
8targets += $(addprefix ../../../, $(kapi-hdrs-y))
9
10PHONY += kapi
11
12kapi:   $(kapi-hdrs-y)
13
14quiet_cmd_gen_cpucaps = GEN     $@
15      cmd_gen_cpucaps = mkdir -p $(dir $@); $(AWK) -f $(real-prereqs) > $@
16
17quiet_cmd_gen_sysreg = GEN     $@
18      cmd_gen_sysreg = mkdir -p $(dir $@); $(AWK) -f $(real-prereqs) > $@
19
20$(kapi)/cpucaps.h: $(src)/gen-cpucaps.awk $(src)/cpucaps FORCE
21	$(call if_changed,gen_cpucaps)
22
23$(kapi)/sysreg-defs.h: $(src)/gen-sysreg.awk $(src)/sysreg FORCE
24	$(call if_changed,gen_sysreg)
25