Ensure all Mackerel files are included explicitly from dev/
authorTimothy Roscoe <troscoe@inf.ethz.ch>
Thu, 27 Nov 2014 11:52:36 +0000 (12:52 +0100)
committerTimothy Roscoe <troscoe@inf.ethz.ch>
Thu, 27 Nov 2014 11:52:36 +0000 (12:52 +0100)
40 files changed:
hake/symbolic_targets.mk
kernel/arch/arm_gem5/pl011_uart.c
kernel/arch/armv5/pl011_uart.c
kernel/arch/k1om/vmkit.c
kernel/arch/omap44xx/init.c
kernel/arch/scc/rck.c
kernel/arch/x86/serial.c
kernel/arch/x86_32/init.c
kernel/arch/x86_64/syscall.c
kernel/arch/x86_64/vmkit.c
kernel/arch/xscale/ixp2800_uart.c
kernel/include/arch/x86/apic.h
lib/bulk_transfer/backends/net/e10k_queue.h
usr/acpi/ioapic.h
usr/ahcid/ahcid.c
usr/ahcid/ahcid.h
usr/arrakismon/guest.h
usr/arrakismon/pc16550d.h
usr/arrakismon/pci_host.c
usr/arrakismon/pci_hostbridge.c
usr/arrakismon/svm.h
usr/drivers/e1000/e1000n.h
usr/drivers/e10k/e10k.h
usr/drivers/e10k/e10k_queue.h
usr/drivers/eMAC/eMAC_driver.h
usr/drivers/eMAC/eMAC_hwinit.c
usr/drivers/lpc_timer/timer.c
usr/drivers/serial/serial.c
usr/drivers/sif/sif.c
usr/pci/ht_config.c
usr/pci/pci.c
usr/pci/pci.h
usr/skb/measurement/cpuid.c
usr/vmkitmon/guest.h
usr/vmkitmon/pc16550d.h
usr/vmkitmon/pci_ethernet.h
usr/vmkitmon/pci_host.c
usr/vmkitmon/pci_hostbridge.c
usr/vmkitmon/pci_vmkitmon_eth.h
usr/vmkitmon/svm.h

index 4ce9f94..7141a68 100644 (file)
@@ -364,6 +364,17 @@ install: $(MODULES)
 
 .PHONY : install
 
+
+install_headers: 
+       echo "Installing header files..." ; \
+       for a in ${HAKE_ARCHS}; do \
+         mkdir -p "$$a" ; \
+         cp -rv "${SRCDIR}/include" "$$a/" ; \
+       done; \
+       echo "done." ; \
+
+.PHONY : install_headers
+
 sim: simulate
 .PHONY : sim
 
index 98fded3..30e6d69 100644 (file)
@@ -15,7 +15,7 @@
 #include <kernel.h>
 #include <arm.h>
 
-#include <pl011_uart_dev.h>
+#include <dev/pl011_uart_dev.h>
 #include <pl011_uart.h>
 
 #define INTERRUPTS_MASK                0x0070
index 53342d8..53ecc3f 100644 (file)
@@ -15,7 +15,7 @@
 #include <kernel.h>
 #include <arm.h>
 
-#include <pl011_uart_dev.h>
+#include <dev/pl011_uart_dev.h>
 #include <pl011_uart.h>
 
 void pl011_uart_init(pl011_uart_t *uart, lvaddr_t base)
index c327c0d..1a89d59 100644 (file)
@@ -21,7 +21,7 @@
 #include <exec.h>
 #include <barrelfish_kpi/vmkit.h>
 
-#include <amd_vmcb_dev.h>
+#include <dev/amd_vmcb_dev.h>
 
 // SVM relevant CPUID info
 #define CPUID_AMD_EXTFEAT       0x80000001
index 1b0a2d1..2f804c4 100644 (file)
@@ -47,9 +47,9 @@
 #include <dev/omap/omap44xx_sysctrl_padconf_wkup_dev.h>
 #include <dev/omap/omap44xx_sysctrl_padconf_core_dev.h>
 #include <dev/omap/omap44xx_ehci_dev.h>
-#include <omap/omap44xx_ckgen_prm_dev.h>
-#include <omap/omap44xx_l4per_cm2_dev.h>
-#include <omap/omap44xx_l3init_cm2_dev.h>
+#include <dev/omap/omap44xx_ckgen_prm_dev.h>
+#include <dev/omap/omap44xx_l4per_cm2_dev.h>
+#include <dev/omap/omap44xx_l3init_cm2_dev.h>
 
 /// Round up n to the next multiple of size
 #define ROUND_UP(n, size)           ((((n) + (size) - 1)) & (~((size) - 1)))
index d7739a9..7fddaaf 100644 (file)
@@ -33,7 +33,7 @@
 #include <diteinfo.h>
 #include <elf/elf.h>
 #include <arch/x86/startup_x86.h>
-#include "rck_dev.h"
+#include <dev/rck_dev.h>
 
 /// Number of tiles on the RCK board
 #define NUM_RCK_TILES           24
index b568468..29c4674 100644 (file)
@@ -17,7 +17,7 @@
 #include <kernel.h>
 #include <x86.h>
 #include <serial.h>
-#include "pc16550d_dev.h"
+#include <dev/pc16550d_dev.h>
 
 int serial_portbase = 0x3f8; // COM1 default, can be changed via command-line arg
 
index 803892c..63c365f 100644 (file)
@@ -45,7 +45,7 @@
 #include <coreboot.h>
 #include <kcb.h>
 
-#include "xapic_dev.h" // XXX
+#include <dev/xapic_dev.h> // XXX
 
 /**
  * Used to store the address of global struct passed during boot across kernel
index d7afcd4..6f9b3b0 100644 (file)
@@ -35,7 +35,7 @@
 #include <arch/x86/timing.h>
 #include <fpu.h>
 #include <arch/x86/ipi_notify.h>
-#include <amd_vmcb_dev.h>
+#include <dev/amd_vmcb_dev.h>
 
 #define MIN(a,b)        ((a) < (b) ? (a) : (b))
 
index 878f910..4849f1a 100644 (file)
@@ -22,7 +22,7 @@
 #include <barrelfish_kpi/vmkit.h>
 #include <barrelfish_kpi/syscalls.h>
 
-#include <amd_vmcb_dev.h>
+#include <dev/amd_vmcb_dev.h>
 
 // SVM relevant CPUID info
 #define CPUID_AMD_EXTFEAT       0x80000001
index 742a42e..fdfcad0 100644 (file)
@@ -15,7 +15,7 @@
 #include <kernel.h>
 #include <arm.h>
 
-#include <ixp2800_uart_dev.h>
+#include <dev/ixp2800_uart_dev.h>
 #include <ixp2800_uart.h>
 
 /** \brief Initialize uart  */
index 94b989b..d4c2dd2 100644 (file)
@@ -15,7 +15,7 @@
 #ifndef APIC_H_
 #define APIC_H_
 
-#include <xapic_dev.h>
+#include <dev/xapic_dev.h>
 
 #define APIC_INTER_HALT_VECTOR                  248
 #define APIC_INTER_CORE_VECTOR                  249
index aec03f3..3ad7b14 100644 (file)
@@ -15,7 +15,7 @@
 #include <arch/x86/barrelfish_kpi/asm_inlines_arch.h>
 #include <net_interfaces/flags.h>
 
-#include "e10k_q_dev.h"
+#include <dev/e10k_q_dev.h>
 
 struct e10k_queue_ops {
     errval_t (*update_txtail)(void*, size_t);
index a30ac3c..2bc94c4 100644 (file)
@@ -15,7 +15,7 @@
 #ifndef IOAPIC_H
 #define IOAPIC_H
 
-#include "lpc_ioapic_dev.h"
+#include <dev/lpc_ioapic_dev.h>
 #include "lpc_ioapic_ioapic_impl.h"
 
 struct ioapic {
index f73b4ba..32caf78 100644 (file)
@@ -18,8 +18,8 @@
 #include <skb/skb.h>
 #include <ahci/sata_fis.h>
 #include <ahci/ahci_dma_pool.h>
-#include "ahci_hba_dev.h"
-#include <ata_identify_dev.h>
+#include <dev/ahci_hba_dev.h>
+#include <dev/ata_identify_dev.h>
 #include "ahcid_debug.h"
 
 #define PCI_DEVICE_ICH9R_82801IR 0x2922
index b317dc1..8a73c0c 100644 (file)
@@ -10,7 +10,7 @@
 #ifndef AHCID_H_
 #define AHCID_H_
 #include <barrelfish/barrelfish.h>
-#include "ahci_port_dev.h"
+#include <dev/ahci_port_dev.h>
 #include <ahci/ahci_dma_pool.h>
 
 enum ahcid_port_status {
index ae46795..1d0399f 100644 (file)
@@ -16,7 +16,7 @@
 
 #include <barrelfish/barrelfish.h>
 #include <spawndomain/spawndomain.h>
-#include "amd_vmcb_dev.h"
+#include <dev/amd_vmcb_dev.h>
 
 struct guest {
     // indicates whether the guest is runnable atm or waiting
index 1d877b3..ef1268a 100644 (file)
@@ -17,7 +17,7 @@
 #include <stdint.h>
 #include <stdbool.h>
 #include "lpc.h"
-#include "pc16550d_mem_dev.h"
+#include <dev/pc16550d_mem_dev.h>
 
 #define PC16550D_FIFO_BITS      4
 #define PC16550D_FIFO_SIZE      (1 << PC16550D_FIFO_BITS)
index ae49b52..67f9ab6 100644 (file)
@@ -16,7 +16,7 @@
 #include "vmkitmon.h"
 #include "pci.h"
 #include "pci_host.h"
-#include "pci_hdr0_mem_dev.h"
+#include <dev/pci_hdr0_mem_dev.h>
 
 #define INVALID         0xffffffff
 
index 9293a5b..391af64 100644 (file)
@@ -16,7 +16,7 @@
 #include "vmkitmon.h"
 #include "pci.h"
 #include "pci_devices.h"
-#include "pci_hdr0_mem_dev.h"
+#include <dev/pci_hdr0_mem_dev.h>
 
 #define INVALID         0xffffffff
 
index ee79e89..e877594 100644 (file)
@@ -15,7 +15,7 @@
 #define AMD_SVM_H
 
 #include <stdint.h>
-#include "amd_vmcb_dev.h"
+#include <dev/amd_vmcb_dev.h>
 
 /* EXITCODE */
 
index ef3eb05..f54b258 100644 (file)
@@ -12,7 +12,7 @@
 #include <barrelfish/barrelfish.h>
 #include <pci/pci.h>
 
-#include "e1000_dev.h"      /* auto generated by Mackerel */
+#include <dev/e1000_dev.h>      /* auto generated by Mackerel */
 #include "e1000n_desc.h"
 #include "e1000n_debug.h"
 
index 96b66c1..987c7ac 100644 (file)
@@ -10,7 +10,7 @@
 #ifndef E10K_H_
 #define E10K_H_
 
-#include "e10k_dev.h"
+#include <dev/e10k_dev.h>
 
 #define E10K_PCI_DEVID 0x10FB
 //#define E10K_PCI_DEVID 0x154d
index 83beb29..84ef5b2 100644 (file)
@@ -14,7 +14,7 @@
 #include <stdlib.h>
 #include <arch/x86/barrelfish_kpi/asm_inlines_arch.h>
 
-#include "e10k_q_dev.h"
+#include <dev/e10k_q_dev.h>
 
 struct e10k_queue_ops {
     errval_t (*update_txtail)(void*, size_t);
index 23a10cd..5c9d363 100644 (file)
@@ -18,7 +18,7 @@
 #define _EMAC_DRIVER_H_
 #include <barrelfish/barrelfish.h>
 #include <net_queue_manager/net_queue_manager.h>
-#include "eMAC_dev.h"
+#include <dev/eMAC_dev.h>
 #include "eMAC_debug.h"
 
 
index bf2223c..ca345ef 100644 (file)
@@ -27,7 +27,7 @@
 #include <trace_definitions/trace_defs.h>
 
 
-#include "eMAC_dev.h"
+#include <dev/eMAC_dev.h>
 #include "eMAC_driver.h"
 
 #include "eMAC_debug.h"
index e97c069..c86df43 100644 (file)
@@ -15,7 +15,7 @@
 #include <stdio.h>
 #include <barrelfish/barrelfish.h>
 #include <pci/pci.h>
-#include "lpc_timer_dev.h"
+#include <dev/lpc_timer_dev.h>
 #include "timer.h"
 
 #include "lpc_timer_debug.h"
index 705a5cf..6c870c0 100644 (file)
@@ -16,7 +16,7 @@
 #include <barrelfish/barrelfish.h>
 #include <pci/pci.h>
 #include "serial.h"
-#include "pc16550d_dev.h"
+#include <dev/pc16550d_dev.h>
 
 static struct pc16550d_t uart;
 static uint16_t portbase;
index 8fa7842..e4dafcc 100644 (file)
@@ -18,7 +18,7 @@
 #include <assert.h>
 #include <inttypes.h>
 #include "sif.h"
-#include "crb_sif_dev.h"
+#include <dev/crb_sif_dev.h>
 
 static struct crb_sif_t sif;
 
index 848d17b..3e29ffd 100644 (file)
@@ -16,7 +16,7 @@
 #include <barrelfish/barrelfish.h>
 
 #include "ht_config.h"
-#include "ht_config_dev.h"
+#include <dev/ht_config_dev.h>
 
 #include "pci_debug.h"
 
index 94015d4..7c201c9 100644 (file)
@@ -31,7 +31,7 @@
 #include "pci.h"
 #include "driver_mapping.h"
 #include "ht_config.h"
-#include "ht_config_dev.h"
+#include <dev/ht_config_dev.h>
 #include "pci_debug.h"
 
 #define MIN(a,b)        ((a) < (b) ? (a) : (b))
index f289c3f..4f08aa6 100644 (file)
@@ -19,8 +19,8 @@
 
 #include <pci/confspace/mackerelpci.h>
 #include <pci/confspace/pci_confspace.h>
-#include "pci_hdr0_dev.h"
-#include "pci_hdr1_dev.h"
+#include <dev/pci_hdr0_dev.h>
+#include <dev/pci_hdr1_dev.h>
 
 /// BIOS area is 1MB in size
 #define BIOS_BITS       20
index 601b1ea..b112f81 100644 (file)
@@ -16,7 +16,7 @@
 #include <stdio.h>
 #include <stdlib.h>
 #include <mm/mm.h>
-#include "cpuid_dev.h"
+#include <dev/cpuid_dev.h>
 #include <cpuid/cpuid.h>
 #include <skb/skb.h>
 #include "datagatherer.h"
index 043fcbe..fb52251 100644 (file)
@@ -15,7 +15,7 @@
 #define GUEST_H
 
 #include <barrelfish/barrelfish.h>
-#include "amd_vmcb_dev.h"
+#include <dev/amd_vmcb_dev.h>
 
 struct guest {
     // indicates whether the guest is runnable atm or waiting
index 48d3826..290ed1a 100644 (file)
@@ -23,7 +23,7 @@
 #include <stdint.h>
 
 #include "lpc.h"
-#include "pc16550d_mem_dev.h"
+#include <dev/pc16550d_mem_dev.h>
 
 #define PC16550D_FIFO_BITS      4
 #define PC16550D_FIFO_SIZE      (1 << PC16550D_FIFO_BITS)
index 8ecd446..14cf4b1 100644 (file)
@@ -8,7 +8,7 @@
 #ifndef PCI_ETHERNET_H_
 #define PCI_ETHERNET_H_
 
-#include "pci_hdr0_mem_dev.h"
+#include <dev/pci_hdr0_mem_dev.h>
 #include "pci.h"
 
 // Mask for the MMIO region size
index ae49b52..67f9ab6 100644 (file)
@@ -16,7 +16,7 @@
 #include "vmkitmon.h"
 #include "pci.h"
 #include "pci_host.h"
-#include "pci_hdr0_mem_dev.h"
+#include <dev/pci_hdr0_mem_dev.h>
 
 #define INVALID         0xffffffff
 
index 9293a5b..391af64 100644 (file)
@@ -16,7 +16,7 @@
 #include "vmkitmon.h"
 #include "pci.h"
 #include "pci_devices.h"
-#include "pci_hdr0_mem_dev.h"
+#include <dev/pci_hdr0_mem_dev.h>
 
 #define INVALID         0xffffffff
 
index ed73185..4f921b3 100644 (file)
@@ -11,7 +11,7 @@
 #define PCI_VMKITMON_ETH_H_
 
 #include "pci.h"
-#include "pci_hdr0_mem_dev.h"
+#include <dev/pci_hdr0_mem_dev.h>
 
 // control register
 #define PCI_VMKITMON_ETH_RSTIRQ (1<<0) //guest writes 1 if he has handled interrupt
index ee79e89..e877594 100644 (file)
@@ -15,7 +15,7 @@
 #define AMD_SVM_H
 
 #include <stdint.h>
-#include "amd_vmcb_dev.h"
+#include <dev/amd_vmcb_dev.h>
 
 /* EXITCODE */