1# SPDX-License-Identifier: GPL-2.0-only
2generic-y += altp2m.h
3generic-y += device.h
4generic-y += hardirq.h
5generic-y += iocap.h
6generic-y += irq-dt.h
7generic-y += paging.h
8generic-y += percpu.h
9generic-y += random.h
10generic-y += softirq.h
11generic-y += vm_event.h
12