/usr/src/linux-headers-5.15.0-190/arch/arm/vfp
Edit: /usr/src/linux-headers-5.15.0-190/arch/arm/vfp/Makefile (219B)
# SPDX-License-Identifier: GPL-2.0-only
#
# linux/arch/arm/vfp/Makefile
#
# Copyright (C) 2001 ARM Limited
#
# ccflags-y := -DDEBUG
# asflags-y := -DDEBUG
obj-y += vfpmodule.o entry.o vfphw.o vfpsingle.o vfpdouble.o