1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __NOUVEAU_OS_H__
3 #define __NOUVEAU_OS_H__
4 
5 #include <linux/types.h>
6 #include <linux/slab.h>
7 #include <linux/mutex.h>
8 #include <linux/pci.h>
9 #include <linux/platform_device.h>
10 #include <linux/printk.h>
11 #include <linux/bitops.h>
12 #include <linux/firmware.h>
13 #include <linux/module.h>
14 #include <linux/i2c.h>
15 #include <linux/i2c-algo-bit.h>
16 #include <linux/delay.h>
17 #include <linux/io-mapping.h>
18 #include <linux/acpi.h>
19 #include <linux/vmalloc.h>
20 #include <linux/dmi.h>
21 #include <linux/reboot.h>
22 #include <linux/interrupt.h>
23 #include <linux/log2.h>
24 #include <linux/pm_runtime.h>
25 #include <linux/power_supply.h>
26 #include <linux/clk.h>
27 #include <linux/regulator/consumer.h>
28 #include <linux/agp_backend.h>
29 #include <linux/reset.h>
30 #include <linux/iommu.h>
31 #include <linux/of_device.h>
32 
33 #include <asm/unaligned.h>
34 
35 #include <soc/tegra/fuse.h>
36 #include <soc/tegra/pmc.h>
37 #endif
38