hw: remove core internal header directories

Fix #2393

repos/base-hw/lib/mk/core-hw.inc

@@ -7,7 +7,7 @@
 LIBS += base-hw-common cxx
 
 # add include paths
-INC_DIR += $(BASE_DIR)/../base-hw/src/core/include
+INC_DIR += $(BASE_DIR)/../base-hw/src/core
 INC_DIR += $(BASE_DIR)/src/core/include
 INC_DIR += $(BASE_DIR)/../base-hw/src/include
 INC_DIR += $(BASE_DIR)/src/include

repos/base-hw/lib/mk/spec/arm/core-hw.inc

@@ -5,7 +5,7 @@
 #
 
 # add include paths
-INC_DIR += $(BASE_DIR)/../base-hw/src/core/include/spec/arm
+INC_DIR += $(BASE_DIR)/../base-hw/src/core/spec/arm
 
 # add C++ sources
 SRC_CC += spec/arm/kernel/thread.cc

repos/base-hw/lib/mk/spec/arm_v6/core-hw.inc

@@ -6,7 +6,7 @@
 #
 
 # add include paths
-INC_DIR += $(BASE_DIR)/../base-hw/src/core/include/spec/arm_v6
+INC_DIR += $(BASE_DIR)/../base-hw/src/core/spec/arm_v6
 
 # add C++ sources
 SRC_CC += spec/arm_v6/cpu.cc

repos/base-hw/lib/mk/spec/arm_v7/core-hw.inc

@@ -5,7 +5,7 @@
 #
 
 # add include paths
-INC_DIR += $(BASE_DIR)/../base-hw/src/core/include/spec/arm_v7
+INC_DIR += $(BASE_DIR)/../base-hw/src/core/spec/arm_v7
 
 # add C++ sources
 SRC_CC += spec/arm_v7/cpu.cc

repos/base-hw/lib/mk/spec/arndale/core-hw.mk

@@ -5,7 +5,7 @@
 #
 
 # add include paths
-INC_DIR += $(REP_DIR)/src/core/include/spec/arm_v7/virtualization
+INC_DIR += $(REP_DIR)/src/core/spec/arm_v7/virtualization
 
 # add C++ sources
 SRC_CC += spec/arm_gic/pic.cc

repos/base-hw/lib/mk/spec/cortex_a15/core-hw.inc

@@ -5,8 +5,8 @@
 #
 
 # add include paths
-INC_DIR += $(BASE_DIR)/../base-hw/src/core/include/spec/cortex_a15
-INC_DIR += $(BASE_DIR)/../base-hw/src/core/include/spec/arm_gic
+INC_DIR += $(BASE_DIR)/../base-hw/src/core/spec/cortex_a15
+INC_DIR += $(BASE_DIR)/../base-hw/src/core/spec/arm_gic
 
 # add C++ sources
 SRC_CC += spec/cortex_a15/kernel/cpu.cc

repos/base-hw/lib/mk/spec/cortex_a8/core-hw.inc

@@ -5,7 +5,7 @@
 #
 
 # add include paths
-INC_DIR += $(BASE_DIR)/../base-hw/src/core/include/spec/cortex_a8
+INC_DIR += $(BASE_DIR)/../base-hw/src/core/spec/cortex_a8
 
 # add C++ sources
 SRC_CC += spec/cortex_a8/cpu.cc

repos/base-hw/lib/mk/spec/cortex_a9/core-hw.inc

@@ -5,8 +5,8 @@
 #
 
 # add include paths
-INC_DIR += $(BASE_DIR)/../base-hw/src/core/include/spec/cortex_a9
-INC_DIR += $(BASE_DIR)/../base-hw/src/core/include/spec/arm_gic
+INC_DIR += $(BASE_DIR)/../base-hw/src/core/spec/cortex_a9
+INC_DIR += $(BASE_DIR)/../base-hw/src/core/spec/arm_gic
 
 # add C++ sources
 SRC_CC += spec/cortex_a9/kernel/cpu.cc

repos/base-hw/lib/mk/spec/exynos5/core-hw.inc

@@ -5,7 +5,7 @@
 #
 
 # add include paths
-INC_DIR += $(BASE_DIR)/../base-hw/src/core/include/spec/exynos5
+INC_DIR += $(BASE_DIR)/../base-hw/src/core/spec/exynos5
 
 # add C++ sources
 SRC_CC += spec/exynos5/cpu.cc

repos/base-hw/lib/mk/spec/imx53/core-hw-trustzone_on.inc

@@ -6,8 +6,8 @@
 #
 
 # add include paths
-INC_DIR += $(REP_DIR)/src/core/include/spec/arm_v7/trustzone
-INC_DIR += $(REP_DIR)/src/core/include/spec/imx53/trustzone
+INC_DIR += $(REP_DIR)/src/core/spec/arm_v7/trustzone
+INC_DIR += $(REP_DIR)/src/core/spec/imx53/trustzone
 
 # add C++ sources
 SRC_CC += spec/imx53/trustzone/platform_support.cc

repos/base-hw/lib/mk/spec/imx53/core-hw.inc

@@ -6,8 +6,8 @@
 #
 
 # add include paths
-INC_DIR += $(REP_DIR)/src/core/include/spec/imx53
-INC_DIR += $(REP_DIR)/src/core/include/spec/imx
+INC_DIR += $(REP_DIR)/src/core/spec/imx53
+INC_DIR += $(REP_DIR)/src/core/spec/imx
 
 SRC_CC += spec/imx53/pic.cc
 

repos/base-hw/lib/mk/spec/imx53_qsb/core-hw-trustzone_on.mk

@@ -5,7 +5,7 @@
 #
 
 # add include paths
-INC_DIR += $(REP_DIR)/src/core/include/spec/imx53_qsb/trustzone
+INC_DIR += $(REP_DIR)/src/core/spec/imx53_qsb/trustzone
 
 # include less specific configuration
 include $(REP_DIR)/lib/mk/spec/imx53/core-hw-trustzone_on.inc

repos/base-hw/lib/mk/spec/imx6/core-hw.mk

@@ -7,8 +7,8 @@
 #
 
 # add include paths
-INC_DIR += $(REP_DIR)/src/core/include/spec/imx6
-INC_DIR += $(REP_DIR)/src/core/include/spec/imx
+INC_DIR += $(REP_DIR)/src/core/spec/imx6
+INC_DIR += $(REP_DIR)/src/core/spec/imx
 
 # add C++ sources
 SRC_CC += platform_services.cc

repos/base-hw/lib/mk/spec/panda/core-hw.mk

@@ -6,8 +6,8 @@
 #
 
 # add include paths
-INC_DIR += $(REP_DIR)/src/core/include/spec/panda
-INC_DIR += $(REP_DIR)/src/core/include/spec/tl16c750
+INC_DIR += $(REP_DIR)/src/core/spec/panda
+INC_DIR += $(REP_DIR)/src/core/spec/tl16c750
 
 # add C++ sources
 SRC_CC += platform_services.cc

repos/base-hw/lib/mk/spec/pbxa9/core-hw.mk

@@ -6,8 +6,8 @@
 #
 
 # add include paths
-INC_DIR += $(REP_DIR)/src/core/include/spec/pbxa9
-INC_DIR += $(REP_DIR)/src/core/include/spec/pl011
+INC_DIR += $(REP_DIR)/src/core/spec/pbxa9
+INC_DIR += $(REP_DIR)/src/core/spec/pl011
 
 # add C++ sources
 SRC_CC += platform_services.cc

repos/base-hw/lib/mk/spec/riscv/core-hw.mk

@@ -1,4 +1,4 @@
-INC_DIR += $(REP_DIR)/src/core/include/spec/riscv
+INC_DIR += $(REP_DIR)/src/core/spec/riscv
 
 CC_OPT += -fno-delete-null-pointer-checks -msoft-float
 

repos/base-hw/lib/mk/spec/rpi/core-hw.mk

@@ -5,8 +5,8 @@
 #
 
 # add include paths
-INC_DIR += $(REP_DIR)/src/core/include/spec/rpi
-INC_DIR += $(REP_DIR)/src/core/include/spec/pl011
+INC_DIR += $(REP_DIR)/src/core/spec/rpi
+INC_DIR += $(REP_DIR)/src/core/spec/pl011
 
 # add C++ sources
 SRC_CC += platform_services.cc

repos/base-hw/lib/mk/spec/smp/core-hw.inc

@@ -5,7 +5,7 @@
 #
 
 # add include paths
-INC_DIR += $(BASE_DIR)/../base-hw/src/core/include/spec/smp
+INC_DIR += $(BASE_DIR)/../base-hw/src/core/spec/smp
 
 # add C++ sources
 SRC_CC += spec/smp/kernel/kernel.cc

repos/base-hw/lib/mk/spec/usb_armory/core-hw-trustzone_on.mk

@@ -5,7 +5,7 @@
 #
 
 # add include paths
-INC_DIR += $(REP_DIR)/src/core/include/spec/usb_armory
+INC_DIR += $(REP_DIR)/src/core/spec/usb_armory
 
 # include less specific configuration
 include $(REP_DIR)/lib/mk/spec/imx53/core-hw-trustzone_on.inc

repos/base-hw/lib/mk/spec/x86_64/core-hw-muen_on.mk

@@ -7,7 +7,7 @@
 REQUIRES = muen
 
 # add include paths
-INC_DIR += $(REP_DIR)/src/core/include/spec/x86_64/muen
+INC_DIR += $(REP_DIR)/src/core/spec/x86_64/muen
 
 # add C++ sources
 SRC_CC += spec/x86_64/muen/kernel/cpu_exception.cc

repos/base-hw/lib/mk/spec/x86_64/core-hw.inc

@@ -6,7 +6,7 @@
 #
 
 # add include paths
-INC_DIR += $(BASE_DIR)/../base-hw/src/core/include/spec/x86_64
+INC_DIR += $(BASE_DIR)/../base-hw/src/core/spec/x86_64
 
 # add assembly sources
 SRC_S += spec/x86_64/mode_transition.s

repos/base-hw/lib/mk/spec/zynq/core-hw.inc

@@ -5,7 +5,7 @@
 #
 
 # add include paths
-INC_DIR += $(BASE_DIR)/../base-hw/src/core/include/spec/zynq
+INC_DIR += $(BASE_DIR)/../base-hw/src/core/spec/zynq
 
 # add C++ sources
 SRC_CC += platform_services.cc

repos/base-hw/lib/mk/spec/zynq_qemu/core-hw.mk

@@ -5,8 +5,8 @@
 #
 
 # add include paths
-INC_DIR += $(REP_DIR)/src/core/include/spec/xilinx_uartps_0
-INC_DIR += $(REP_DIR)/src/core/include/spec/zynq_qemu
+INC_DIR += $(REP_DIR)/src/core/spec/xilinx_uartps_0
+INC_DIR += $(REP_DIR)/src/core/spec/zynq_qemu
 
 NR_OF_CPUS = 1
 

repos/base-hw/src/core/cpu_thread_allocator.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__CPU_THREAD_ALLOCATOR_H_
-#define _CORE__INCLUDE__CPU_THREAD_ALLOCATOR_H_
+#ifndef _CORE__CPU_THREAD_ALLOCATOR_H_
+#define _CORE__CPU_THREAD_ALLOCATOR_H_
 
 #include <base/log.h>
 #include <base/allocator.h>
@@ -68,4 +68,4 @@ namespace Genode
 	};
 }
 
-#endif /* _CORE__INCLUDE__CPU_THREAD_ALLOCATOR_H_ */
+#endif /* _CORE__CPU_THREAD_ALLOCATOR_H_ */

repos/base-hw/src/core/irq_session_component.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__IRQ_SESSION_COMPONENT_H_
-#define _CORE__INCLUDE__IRQ_SESSION_COMPONENT_H_
+#ifndef _CORE__IRQ_SESSION_COMPONENT_H_
+#define _CORE__IRQ_SESSION_COMPONENT_H_
 
 /* Genode includes */
 #include <base/rpc_server.h>
@@ -72,4 +72,4 @@ class Genode::Irq_session_component : public Rpc_object<Irq_session>,
 		}
 };
 
-#endif /* _CORE__INCLUDE__IRQ_SESSION_COMPONENT_H_ */
+#endif /* _CORE__IRQ_SESSION_COMPONENT_H_ */

repos/base-hw/src/core/kernel/clock.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__CLOCK_H_
-#define _CORE__INCLUDE__KERNEL__CLOCK_H_
+#ifndef _CORE__KERNEL__CLOCK_H_
+#define _CORE__KERNEL__CLOCK_H_
 
 /* base-hw includes */
 #include <kernel/types.h>
@@ -104,4 +104,4 @@ class Kernel::Clock
 		time_t timeout_max_us() const;
 };
 
-#endif /* _CORE__INCLUDE__KERNEL__CLOCK_H_ */
+#endif /* _CORE__KERNEL__CLOCK_H_ */

repos/base-hw/src/core/kernel/configuration.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__CONFIGURATION_H_
-#define _CORE__INCLUDE__KERNEL__CONFIGURATION_H_
+#ifndef _CORE__KERNEL__CONFIGURATION_H_
+#define _CORE__KERNEL__CONFIGURATION_H_
 
 #include <kernel/interface.h>
 
@@ -33,4 +33,4 @@ namespace Kernel
 	constexpr time_t cpu_fill_us = 10000;
 }
 
-#endif /* _CORE__INCLUDE__KERNEL__CONFIGURATION_H_ */
+#endif /* _CORE__KERNEL__CONFIGURATION_H_ */

repos/base-hw/src/core/kernel/core_interface.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__CORE_INTERFACE_H_
-#define _CORE__INCLUDE__KERNEL__CORE_INTERFACE_H_
+#ifndef _CORE__KERNEL__CORE_INTERFACE_H_
+#define _CORE__KERNEL__CORE_INTERFACE_H_
 
 /* base-internal includes */
 #include <base/internal/native_utcb.h>
@@ -252,4 +252,4 @@ namespace Kernel
 	}
 }
 
-#endif /* _CORE__INCLUDE__KERNEL__CORE_INTERFACE_H_ */
+#endif /* _CORE__KERNEL__CORE_INTERFACE_H_ */

repos/base-hw/src/core/kernel/cpu.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__CPU_H_
-#define _CORE__INCLUDE__KERNEL__CPU_H_
+#ifndef _CORE__KERNEL__CPU_H_
+#define _CORE__KERNEL__CPU_H_
 
 /* core includes */
 #include <kernel/clock.h>
@@ -376,4 +376,4 @@ class Kernel::Cpu_pool
 		Timer * timer() { return &_timer; }
 };
 
-#endif /* _CORE__INCLUDE__KERNEL__CPU_H_ */
+#endif /* _CORE__KERNEL__CPU_H_ */

repos/base-hw/src/core/kernel/cpu_scheduler.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__CPU_SCHEDULER_H_
-#define _CORE__INCLUDE__KERNEL__CPU_SCHEDULER_H_
+#ifndef _CORE__KERNEL__CPU_SCHEDULER_H_
+#define _CORE__KERNEL__CPU_SCHEDULER_H_
 
 /* core includes */
 #include <util.h>
@@ -230,4 +230,4 @@ class Kernel::Cpu_scheduler
 		unsigned residual() const { return _residual; }
 };
 
-#endif /* _CORE__INCLUDE__KERNEL__CPU_SCHEDULER_H_ */
+#endif /* _CORE__KERNEL__CPU_SCHEDULER_H_ */

repos/base-hw/src/core/kernel/double_list.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__DOUBLE_LIST_H_
-#define _CORE__INCLUDE__KERNEL__DOUBLE_LIST_H_
+#ifndef _CORE__KERNEL__DOUBLE_LIST_H_
+#define _CORE__KERNEL__DOUBLE_LIST_H_
 
 namespace Kernel
 {
@@ -126,4 +126,4 @@ template <typename T> class Kernel::Double_list_typed : public Double_list
 		T * head() const { return _typed(Double_list::head()); }
 };
 
-#endif /* _CORE__INCLUDE__KERNEL__DOUBLE_LIST_H_ */
+#endif /* _CORE__KERNEL__DOUBLE_LIST_H_ */

repos/base-hw/src/core/kernel/fifo.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__FIFO_H_
-#define _CORE__INCLUDE__KERNEL__FIFO_H_
+#ifndef _CORE__KERNEL__FIFO_H_
+#define _CORE__KERNEL__FIFO_H_
 
 /* Genode includes */
 #include <util/fifo.h>
@@ -40,4 +40,4 @@ namespace Kernel {
 	};
 }
 
-#endif /* _CORE__INCLUDE__KERNEL__FIFO_H_ */
+#endif /* _CORE__KERNEL__FIFO_H_ */

repos/base-hw/src/core/kernel/ipc_node.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__IPC_NODE_H_
-#define _CORE__INCLUDE__KERNEL__IPC_NODE_H_
+#ifndef _CORE__KERNEL__IPC_NODE_H_
+#define _CORE__KERNEL__IPC_NODE_H_
 
 /* Genode includes */
 #include <util/construct_at.h>
@@ -204,4 +204,4 @@ class Kernel::Ipc_node : public Ipc_node_queue::Element
 		Genode::Native_utcb * utcb() { return _utcb; }
 };
 
-#endif /* _CORE__INCLUDE__KERNEL__IPC_NODE_H_ */
+#endif /* _CORE__KERNEL__IPC_NODE_H_ */

repos/base-hw/src/core/kernel/irq.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__IRQ_H_
-#define _CORE__INCLUDE__KERNEL__IRQ_H_
+#ifndef _CORE__KERNEL__IRQ_H_
+#define _CORE__KERNEL__IRQ_H_
 
 /* Genode includes */
 #include <irq_session/irq_session.h>
@@ -156,4 +156,4 @@ class Kernel::User_irq : public Kernel::Irq, public Kernel::Object
 			return dynamic_cast<User_irq*>(_pool()->object(irq)); }
 };
 
-#endif /* _CORE__INCLUDE__KERNEL__IRQ_H_ */
+#endif /* _CORE__KERNEL__IRQ_H_ */

repos/base-hw/src/core/kernel/kernel.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__KERNEL_H_
-#define _CORE__INCLUDE__KERNEL__KERNEL_H_
+#ifndef _CORE__KERNEL__KERNEL_H_
+#define _CORE__KERNEL__KERNEL_H_
 
 #include <pic.h>
 #include <board.h>
@@ -33,4 +33,4 @@ namespace Kernel {
 	Genode::Board & board();
 }
 
-#endif /* _CORE__INCLUDE__KERNEL__KERNEL_H_ */
+#endif /* _CORE__KERNEL__KERNEL_H_ */

repos/base-hw/src/core/kernel/log.h

@@ -11,9 +11,9 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__LOG_H_
-#define _CORE__INCLUDE__KERNEL__LOG_H_
+#ifndef _CORE__KERNEL__LOG_H_
+#define _CORE__KERNEL__LOG_H_
 
 namespace Kernel { void log(char const); }
 
-#endif
+#endif /* _CORE__KERNEL__LOG_H_ */

repos/base-hw/src/core/kernel/object.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__OBJECT_H_
-#define _CORE__INCLUDE__KERNEL__OBJECT_H_
+#ifndef _CORE__KERNEL__OBJECT_H_
+#define _CORE__KERNEL__OBJECT_H_
 
 /* Genode includes */
 #include <util/avl_tree.h>
@@ -190,4 +190,4 @@ class Kernel::Core_object : public T, public Kernel::Core_object_identity<T>
 		: T(args...), Core_object_identity<T>(*static_cast<T*>(this)) { }
 };
 
-#endif /* _CORE__INCLUDE__KERNEL__OBJECT_H_ */
+#endif /* _CORE__KERNEL__OBJECT_H_ */

repos/base-hw/src/core/kernel/pd.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__PD_H_
-#define _CORE__INCLUDE__KERNEL__PD_H_
+#ifndef _CORE__KERNEL__PD_H_
+#define _CORE__KERNEL__PD_H_
 
 /* core includes */
 #include <kernel/cpu.h>
@@ -141,4 +141,4 @@ class Kernel::Pd : public Cpu::Pd,
 		Object_identity_reference_tree & cap_tree()     { return _cap_tree;    }
 };
 
-#endif /* _CORE__INCLUDE__KERNEL__PD_H_ */
+#endif /* _CORE__KERNEL__PD_H_ */

repos/base-hw/src/core/kernel/perf_counter.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__PERF_COUNTER_H_
-#define _CORE__INCLUDE__KERNEL__PERF_COUNTER_H_
+#ifndef _CORE__KERNEL__PERF_COUNTER_H_
+#define _CORE__KERNEL__PERF_COUNTER_H_
 
 namespace Kernel
 {
@@ -33,4 +33,4 @@ namespace Kernel
 	extern Perf_counter * perf_counter();
 }
 
-#endif /* _CORE__INCLUDE__KERNEL__PERF_COUNTER_H_ */
+#endif /* _CORE__KERNEL__PERF_COUNTER_H_ */

repos/base-hw/src/core/kernel/signal_receiver.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__SIGNAL_RECEIVER_H_
-#define _CORE__INCLUDE__KERNEL__SIGNAL_RECEIVER_H_
+#ifndef _CORE__KERNEL__SIGNAL_RECEIVER_H_
+#define _CORE__KERNEL__SIGNAL_RECEIVER_H_
 
 /* Genode includes */
 #include <base/signal.h>
@@ -305,4 +305,4 @@ class Kernel::Signal_receiver : public Kernel::Object
 			call(call_id_delete_signal_receiver(), (Call_arg)receiver); }
 };
 
-#endif /* _CORE__INCLUDE__KERNEL__SIGNAL_RECEIVER_H_ */
+#endif /* _CORE__KERNEL__SIGNAL_RECEIVER_H_ */

repos/base-hw/src/core/kernel/thread.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__THREAD_H_
-#define _CORE__INCLUDE__KERNEL__THREAD_H_
+#ifndef _CORE__KERNEL__THREAD_H_
+#define _CORE__KERNEL__THREAD_H_
 
 /* core includes */
 #include <kernel/signal_receiver.h>
@@ -306,4 +306,4 @@ class Kernel::Core_thread : public Core_object<Kernel::Thread>
 		static Thread & singleton();
 };
 
-#endif /* _CORE__INCLUDE__KERNEL__THREAD_H_ */
+#endif /* _CORE__KERNEL__THREAD_H_ */

repos/base-hw/src/core/kernel/vm.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__VM_H_
-#define _CORE__INCLUDE__KERNEL__VM_H_
+#ifndef _CORE__KERNEL__VM_H_
+#define _CORE__KERNEL__VM_H_
 
 #include <vm_state.h>
 
@@ -122,4 +122,4 @@ class Kernel::Vm : public Cpu_job,
 		Cpu_job * helping_sink() { return this; }
 };
 
-#endif /* _CORE__INCLUDE__KERNEL__VM_H_ */
+#endif /* _CORE__KERNEL__VM_H_ */

repos/base-hw/src/core/map_local.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__MAP_LOCAL_H_
-#define _CORE__INCLUDE__MAP_LOCAL_H_
+#ifndef _CORE__MAP_LOCAL_H_
+#define _CORE__MAP_LOCAL_H_
 
 #include <hw/page_flags.h>
 
@@ -44,4 +44,4 @@ namespace Genode {
 	bool unmap_local(addr_t virt_addr, size_t num_pages);
 }
 
-#endif /* _CORE__INCLUDE__MAP_LOCAL_H_ */
+#endif /* _CORE__MAP_LOCAL_H_ */

repos/base-hw/src/core/object.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__OBJECT_H_
-#define _CORE__INCLUDE__OBJECT_H_
+#ifndef _CORE__OBJECT_H_
+#define _CORE__OBJECT_H_
 
 /* Genode includes */
 #include <util/construct_at.h>
@@ -77,4 +77,4 @@ class Genode::Kernel_object
 		}
 };
 
-#endif /* _CORE__INCLUDE__OBJECT_H_ */
+#endif /* _CORE__OBJECT_H_ */

repos/base-hw/src/core/pager.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__PAGER_H_
-#define _CORE__INCLUDE__PAGER_H_
+#ifndef _CORE__PAGER_H_
+#define _CORE__PAGER_H_
 
 /* Genode includes */
 #include <base/session_label.h>
@@ -222,4 +222,4 @@ class Genode::Pager_entrypoint : public Object_pool<Pager_object>,
 		void entry();
 };
 
-#endif /* _CORE__INCLUDE__PAGER_H_ */
+#endif /* _CORE__PAGER_H_ */

repos/base-hw/src/core/platform.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__PLATFORM_H_
-#define _CORE__INCLUDE__PLATFORM_H_
+#ifndef _CORE__PLATFORM_H_
+#define _CORE__PLATFORM_H_
 
 /* Genode includes */
 #include <base/synced_allocator.h>
@@ -142,4 +142,4 @@ class Genode::Platform : public Genode::Platform_generic
 			return Affinity::Space(NR_OF_CPUS); }
 };
 
-#endif /* _CORE__INCLUDE__PLATFORM_H_ */
+#endif /* _CORE__PLATFORM_H_ */

repos/base-hw/src/core/platform_pd.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__PLATFORM_PD_H_
-#define _CORE__INCLUDE__PLATFORM_PD_H_
+#ifndef _CORE__PLATFORM_PD_H_
+#define _CORE__PLATFORM_PD_H_
 
 /* Core includes */
 #include <translation_table.h>
@@ -217,4 +217,4 @@ struct Genode::Core_platform_pd : Genode::Platform_pd
 	Core_platform_pd();
 };
 
-#endif /* _CORE__INCLUDE__PLATFORM_PD_H_ */
+#endif /* _CORE__PLATFORM_PD_H_ */

repos/base-hw/src/core/platform_thread.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__PLATFORM_THREAD_H_
-#define _CORE__INCLUDE__PLATFORM_THREAD_H_
+#ifndef _CORE__PLATFORM_THREAD_H_
+#define _CORE__PLATFORM_THREAD_H_
 
 /* Genode includes */
 #include <ram_session/ram_session.h>
@@ -211,4 +211,4 @@ namespace Genode {
 	};
 }
 
-#endif /* _CORE__INCLUDE__PLATFORM_THREAD_H_ */
+#endif /* _CORE__PLATFORM_THREAD_H_ */

repos/base-hw/src/core/rpc_cap_factory.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__RPC_CAP_FACTORY_H_
-#define _CORE__INCLUDE__RPC_CAP_FACTORY_H_
+#ifndef _CORE__RPC_CAP_FACTORY_H_
+#define _CORE__RPC_CAP_FACTORY_H_
 
 /* Genode includes */
 #include <util/list.h>
@@ -119,4 +119,4 @@ class Genode::Rpc_cap_factory
 		}
 };
 
-#endif /* _CORE__INCLUDE__RPC_CAP_FACTORY_H_ */
+#endif /* _CORE__RPC_CAP_FACTORY_H_ */

repos/base-hw/src/core/signal_broker.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SIGNAL_BROKER_H_
-#define _CORE__INCLUDE__SIGNAL_BROKER_H_
+#ifndef _CORE__SIGNAL_BROKER_H_
+#define _CORE__SIGNAL_BROKER_H_
 
 /* Genode includes */
 #include <base/tslab.h>
@@ -147,4 +147,4 @@ class Genode::Signal_broker
 		}
 };
 
-#endif /* _CORE__INCLUDE__SIGNAL_BROKER_H_ */
+#endif /* _CORE__SIGNAL_BROKER_H_ */

repos/base-hw/src/core/signal_source_component.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SIGNAL_SOURCE_COMPONENT_H_
-#define _CORE__INCLUDE__SIGNAL_SOURCE_COMPONENT_H_
+#ifndef _CORE__SIGNAL_SOURCE_COMPONENT_H_
+#define _CORE__SIGNAL_SOURCE_COMPONENT_H_
 
 /* Genode includes */
 #include <base/object_pool.h>
@@ -62,4 +62,4 @@ Genode::Signal_context_component::Signal_context_component(Signal_source_compone
 	Signal_context_pool::Entry(Kernel_object<Kernel::Signal_context>::_cap)
 { }
 
-#endif /* _CORE__INCLUDE__SIGNAL_SOURCE_COMPONENT_H_ */
+#endif /* _CORE__SIGNAL_SOURCE_COMPONENT_H_ */

repos/base-hw/src/core/spec/arm/cpu_support.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__ARM__CPU_SUPPORT_H_
-#define _CORE__INCLUDE__SPEC__ARM__CPU_SUPPORT_H_
+#ifndef _CORE__SPEC__ARM__CPU_SUPPORT_H_
+#define _CORE__SPEC__ARM__CPU_SUPPORT_H_
 
 /* Genode includes */
 #include <util/register.h>
@@ -493,4 +493,4 @@ class Genode::Arm
 		static unsigned primary_id() { return 0; }
 };
 
-#endif /* _CORE__INCLUDE__SPEC__ARM__CPU_SUPPORT_H_ */
+#endif /* _CORE__SPEC__ARM__CPU_SUPPORT_H_ */

repos/base-hw/src/core/spec/arm/fpu.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _SPEC__ARM__FPU_H_
-#define _SPEC__ARM__FPU_H_
+#ifndef _CORE__SPEC__ARM__FPU_H_
+#define _CORE__SPEC__ARM__FPU_H_
 
 #include <util/register.h>
 
@@ -243,4 +243,4 @@ class Genode::Fpu
  *  head branch as from 2014.04.17.
  */
 
-#endif /* _SPEC__ARM__FPU_H_ */
+#endif /* _CORE__SPEC__ARM__FPU_H_ */

repos/base-hw/src/core/spec/arm_gic/pic.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__ARM_GIC__PIC_H_
-#define _CORE__INCLUDE__SPEC__ARM_GIC__PIC_H_
+#ifndef _CORE__SPEC__ARM_GIC__PIC_H_
+#define _CORE__SPEC__ARM_GIC__PIC_H_
 
 #include <hw/spec/arm/pic.h>
 
@@ -52,4 +52,4 @@ class Genode::Pic : public Hw::Pic
 		}
 };
 
-#endif /* _CORE__INCLUDE__SPEC__ARM_GIC__PIC_H_ */
+#endif /* _CORE__SPEC__ARM_GIC__PIC_H_ */

repos/base-hw/src/core/spec/arm_v6/cpu.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__ARM_V6__CPU_H_
-#define _CORE__INCLUDE__SPEC__ARM_V6__CPU_H_
+#ifndef _CORE__SPEC__ARM_V6__CPU_H_
+#define _CORE__SPEC__ARM_V6__CPU_H_
 
 /* core includes */
 #include <spec/arm/cpu_support.h>
@@ -47,4 +47,4 @@ class Genode::Cpu : public Arm
 		static void wait_for_interrupt() { /* FIXME */ }
 };
 
-#endif /* _CORE__INCLUDE__SPEC__ARM_V6__CPU_H_ */
+#endif /* _CORE__SPEC__ARM_V6__CPU_H_ */

repos/base-hw/src/core/spec/arm_v6/translation_table.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__ARM_V6__TRANSLATION_TABLE_H_
-#define _CORE__INCLUDE__SPEC__ARM_V6__TRANSLATION_TABLE_H_
+#ifndef _CORE__SPEC__ARM_V6__TRANSLATION_TABLE_H_
+#define _CORE__SPEC__ARM_V6__TRANSLATION_TABLE_H_
 
 #include <hw/spec/arm/page_table.h>
 #include <kernel/interface.h>
@@ -31,4 +31,4 @@ void Hw::Page_table::_translation_added(unsigned long addr, unsigned long size)
 	else Genode::Cpu::clean_invalidate_data_cache();
 }
 
-#endif /* _CORE__INCLUDE__SPEC__ARM_V6__TRANSLATION_TABLE_H_ */
+#endif /* _CORE__SPEC__ARM_V6__TRANSLATION_TABLE_H_ */

repos/base-hw/src/core/spec/arm_v7/cpu_support.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__ARM_V7__CPU_SUPPORT_H_
-#define _CORE__INCLUDE__SPEC__ARM_V7__CPU_SUPPORT_H_
+#ifndef _CORE__SPEC__ARM_V7__CPU_SUPPORT_H_
+#define _CORE__SPEC__ARM_V7__CPU_SUPPORT_H_
 
 /* core includes */
 #include <spec/arm/cpu_support.h>
@@ -148,4 +148,4 @@ class Genode::Arm_v7 : public Arm
 			asm volatile ("mcr p15, 4, %[rd], c12, c0, 0" :: [rd] "r" (a)); }
 };
 
-#endif /* _CORE__INCLUDE__SPEC__ARM_V7__CPU_SUPPORT_H_ */
+#endif /* _CORE__SPEC__ARM_V7__CPU_SUPPORT_H_ */

repos/base-hw/src/core/spec/arm_v7/trustzone/vm_session_component.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__ARM_V7__TRUSTZONE__VM_SESSION_COMPONENT_H_
-#define _CORE__INCLUDE__SPEC__ARM_V7__TRUSTZONE__VM_SESSION_COMPONENT_H_
+#ifndef _CORE__SPEC__ARM_V7__TRUSTZONE__VM_SESSION_COMPONENT_H_
+#define _CORE__SPEC__ARM_V7__TRUSTZONE__VM_SESSION_COMPONENT_H_
 
 /* Genode includes */
 #include <base/allocator.h>
@@ -73,4 +73,4 @@ class Genode::Vm_session_component
 			warning("Not implemented for TrustZone case"); }
 };
 
-#endif /* _CORE__INCLUDE__SPEC__ARM_V7__TRUSTZONE__VM_SESSION_COMPONENT_H_ */
+#endif /* _CORE__SPEC__ARM_V7__TRUSTZONE__VM_SESSION_COMPONENT_H_ */

repos/base-hw/src/core/spec/arm_v7/virtualization/vm_session_component.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__ARM_V7__VIRTUALIZATION__VM_SESSION_COMPONENT_H_
-#define _CORE__INCLUDE__SPEC__ARM_V7__VIRTUALIZATION__VM_SESSION_COMPONENT_H_
+#ifndef _CORE__SPEC__ARM_V7__VIRTUALIZATION__VM_SESSION_COMPONENT_H_
+#define _CORE__SPEC__ARM_V7__VIRTUALIZATION__VM_SESSION_COMPONENT_H_
 
 /* Genode includes */
 #include <base/allocator.h>
@@ -76,4 +76,4 @@ class Genode::Vm_session_component
 		void detach(addr_t vm_addr, size_t size);
 };
 
-#endif /* _CORE__INCLUDE__SPEC__ARM_V7__VIRTUALIZATION__VM_SESSION_COMPONENT_H_ */
+#endif /* _CORE__SPEC__ARM_V7__VIRTUALIZATION__VM_SESSION_COMPONENT_H_ */

repos/base-hw/src/core/spec/cortex_a15/board_support.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__CORTEX_A15__BOARD_SUPPORT_H_
-#define _CORE__INCLUDE__SPEC__CORTEX_A15__BOARD_SUPPORT_H_
+#ifndef _CORE__SPEC__CORTEX_A15__BOARD_SUPPORT_H_
+#define _CORE__SPEC__CORTEX_A15__BOARD_SUPPORT_H_
 
 /* core includes */
 #include <drivers/board_base.h>
@@ -38,4 +38,4 @@ namespace Cortex_a15
 	};
 }
 
-#endif /* _CORE__INCLUDE__SPEC__CORTEX_A15__BOARD_SUPPORT_H_ */
+#endif /* _CORE__SPEC__CORTEX_A15__BOARD_SUPPORT_H_ */

repos/base-hw/src/core/spec/cortex_a15/cpu.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__CORTEX_A15__CPU_H_
-#define _CORE__INCLUDE__SPEC__CORTEX_A15__CPU_H_
+#ifndef _CORE__SPEC__CORTEX_A15__CPU_H_
+#define _CORE__SPEC__CORTEX_A15__CPU_H_
 
 /* core includes */
 #include <spec/arm_v7/cpu_support.h>
@@ -309,4 +309,4 @@ class Genode::Cpu : public Arm_v7
 		bool retry_undefined_instr(Context&) { return false; }
 };
 
-#endif /* _CPU_H_ */
+#endif /* _CORE__SPEC__CORTEX_A15__CPU_H_ */

repos/base-hw/src/core/spec/cortex_a15/translation_table.h

@@ -11,10 +11,10 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__CORTEX_A15__TRANSLATION_TABLE_H_
-#define _CORE__INCLUDE__SPEC__CORTEX_A15__TRANSLATION_TABLE_H_
+#ifndef _CORE__SPEC__CORTEX_A15__TRANSLATION_TABLE_H_
+#define _CORE__SPEC__CORTEX_A15__TRANSLATION_TABLE_H_
 
 /* core includes */
 #include <hw/spec/arm/lpae.h>
 
-#endif /* _CORE__INCLUDE__SPEC__CORTEX_A15__TRANSLATION_TABLE_H_ */
+#endif /* _CORE__SPEC__CORTEX_A15__TRANSLATION_TABLE_H_ */

repos/base-hw/src/core/spec/cortex_a8/cpu.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__CORTEX_A8__CPU_H_
-#define _CORE__INCLUDE__SPEC__CORTEX_A8__CPU_H_
+#ifndef _CORE__SPEC__CORTEX_A8__CPU_H_
+#define _CORE__SPEC__CORTEX_A8__CPU_H_
 
 /* core includes */
 #include <spec/arm_v7/cpu_support.h>
@@ -46,4 +46,4 @@ class Genode::Cpu : public Arm_v7
 		static void translation_added(addr_t const addr, size_t const size);
 };
 
-#endif /* _CORE__INCLUDE__SPEC__CORTEX_A8__CPU_H_ */
+#endif /* _CORE__SPEC__CORTEX_A8__CPU_H_ */

repos/base-hw/src/core/spec/cortex_a8/translation_table.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__CORTEX_A8__TRANSLATION_TABLE_H_
-#define _CORE__INCLUDE__SPEC__CORTEX_A8__TRANSLATION_TABLE_H_
+#ifndef _CORE__SPEC__CORTEX_A8__TRANSLATION_TABLE_H_
+#define _CORE__SPEC__CORTEX_A8__TRANSLATION_TABLE_H_
 
 #include <hw/spec/arm/page_table.h>
 #include <kernel/interface.h>
@@ -38,4 +38,4 @@ void Hw::Page_table::_translation_added(unsigned long addr, unsigned long size)
 	else Genode::Cpu::clean_invalidate_data_cache();
 }
 
-#endif /* _CORE__INCLUDE__SPEC__CORTEX_A8__TRANSLATION_TABLE_H_ */
+#endif /* _CORE__SPEC__CORTEX_A8__TRANSLATION_TABLE_H_ */

repos/base-hw/src/core/spec/cortex_a9/board_support.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__CORTEX_A9__BOARD_SUPPORT_H_
-#define _CORE__INCLUDE__SPEC__CORTEX_A9__BOARD_SUPPORT_H_
+#ifndef _CORE__SPEC__CORTEX_A9__BOARD_SUPPORT_H_
+#define _CORE__SPEC__CORTEX_A9__BOARD_SUPPORT_H_
 
 /* core includes */
 #include <drivers/board_base.h>
@@ -63,4 +63,4 @@ class Cortex_a9::Board : public Genode::Board_base
 		L2_cache _l2_cache;
 };
 
-#endif /* _CORE__INCLUDE__SPEC__CORTEX_A9__BOARD_SUPPORT_H_ */
+#endif /* _CORE__SPEC__CORTEX_A9__BOARD_SUPPORT_H_ */

repos/base-hw/src/core/spec/cortex_a9/cpu.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _SPEC__CORTEX_A9__CPU_H_
-#define _SPEC__CORTEX_A9__CPU_H_
+#ifndef _CORE__SPEC__CORTEX_A9__CPU_H_
+#define _CORE__SPEC__CORTEX_A9__CPU_H_
 
 /* core includes */
 #include <spec/arm/fpu.h>
@@ -106,4 +106,4 @@ class Genode::Cpu : public Arm_v7
 		static unsigned executing_id() { return Mpidr::Aff_0::get(Mpidr::read()); }
 };
 
-#endif /* _SPEC__CORTEX_A9__CPU_H_ */
+#endif /* _CORE__SPEC__CORTEX_A9__CPU_H_ */

repos/base-hw/src/core/spec/cortex_a9/timer.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__CORTEX_A9__TIMER_H_
-#define _CORE__INCLUDE__SPEC__CORTEX_A9__TIMER_H_
+#ifndef _CORE__SPEC__CORTEX_A9__TIMER_H_
+#define _CORE__SPEC__CORTEX_A9__TIMER_H_
 
 /* base-hw includes */
 #include <kernel/types.h>
@@ -129,4 +129,4 @@ class Genode::Timer : public Mmio
 
 namespace Kernel { using Genode::Timer; }
 
-#endif /* _CORE__INCLUDE__SPEC__CORTEX_A9__TIMER_H_ */
+#endif /* _CORE__SPEC__CORTEX_A9__TIMER_H_ */

repos/base-hw/src/core/spec/cortex_a9/translation_table.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__CORTEX_A9__TRANSLATION_TABLE_H_
-#define _CORE__INCLUDE__SPEC__CORTEX_A9__TRANSLATION_TABLE_H_
+#ifndef _CORE__SPEC__CORTEX_A9__TRANSLATION_TABLE_H_
+#define _CORE__SPEC__CORTEX_A9__TRANSLATION_TABLE_H_
 
 #include <hw/spec/arm/page_table.h>
 
@@ -24,4 +24,4 @@ constexpr bool Hw::Page_table::Descriptor_base::_smp() { return true; }
 
 void Hw::Page_table::_translation_added(unsigned long, unsigned long) { }
 
-#endif /* _CORE__INCLUDE__SPEC__CORTEX_A9__TRANSLATION_TABLE_H_ */
+#endif /* _CORE__SPEC__CORTEX_A9__TRANSLATION_TABLE_H_ */

repos/base-hw/src/core/spec/exynos5/board.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__EXYNOS5__BOARD_H_
-#define _CORE__INCLUDE__SPEC__EXYNOS5__BOARD_H_
+#ifndef _CORE__SPEC__EXYNOS5__BOARD_H_
+#define _CORE__SPEC__EXYNOS5__BOARD_H_
 
 /* core includes */
 #include <spec/cortex_a15/board_support.h>
@@ -40,4 +40,4 @@ namespace Genode
 	};
 }
 
-#endif /* _CORE__INCLUDE__SPEC__EXYNOS5__BOARD_H_ */
+#endif /* _CORE__SPEC__EXYNOS5__BOARD_H_ */

repos/base-hw/src/core/spec/exynos5/serial.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__EXYNOS5__SERIAL_H_
-#define _CORE__INCLUDE__SPEC__EXYNOS5__SERIAL_H_
+#ifndef _CORE__SPEC__EXYNOS5__SERIAL_H_
+#define _CORE__SPEC__EXYNOS5__SERIAL_H_
 
 /* core includes */
 #include <board.h>
@@ -44,4 +44,4 @@ namespace Genode
 	};
 }
 
-#endif /* _CORE__INCLUDE__SPEC__EXYNOS5__SERIAL_H_ */
+#endif /* _CORE__SPEC__EXYNOS5__SERIAL_H_ */

repos/base-hw/src/core/spec/exynos5/timer.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__EXYNOS5__TIMER_H_
-#define _CORE__INCLUDE__SPEC__EXYNOS5__TIMER_H_
+#ifndef _CORE__SPEC__EXYNOS5__TIMER_H_
+#define _CORE__SPEC__EXYNOS5__TIMER_H_
 
 /* base-hw includes */
 #include <kernel/types.h>
@@ -261,4 +261,4 @@ class Genode::Timer : public Mmio
 
 namespace Kernel { class Timer : public Genode::Timer { }; }
 
-#endif /* _CORE__INCLUDE__SPEC__EXYNOS5__TIMER_H_ */
+#endif /* _CORE__SPEC__EXYNOS5__TIMER_H_ */

repos/base-hw/src/core/spec/imx/serial.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__IMX__SERIAL_H_
-#define _CORE__INCLUDE__SPEC__IMX__SERIAL_H_
+#ifndef _CORE__SPEC__IMX__SERIAL_H_
+#define _CORE__SPEC__IMX__SERIAL_H_
 
 /* core includes */
 #include <board.h>
@@ -36,4 +36,4 @@ namespace Genode
 	};
 }
 
-#endif /* _CORE__INCLUDE__SPEC__IMX__SERIAL_H_ */
+#endif /* _CORE__SPEC__IMX__SERIAL_H_ */

repos/base-hw/src/core/spec/imx53/board.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__IMX53__BOARD_H_
-#define _CORE__INCLUDE__SPEC__IMX53__BOARD_H_
+#ifndef _CORE__SPEC__IMX53__BOARD_H_
+#define _CORE__SPEC__IMX53__BOARD_H_
 
 #include <drivers/board_base.h>
 
@@ -21,4 +21,4 @@ namespace Genode { struct Board; }
 
 struct Genode::Board : Genode::Board_base { static constexpr bool SMP = false; };
 
-#endif /* _CORE__INCLUDE__SPEC__IMX53__BOARD_H_ */
+#endif /* _CORE__SPEC__IMX53__BOARD_H_ */

repos/base-hw/src/core/spec/imx53/pic.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__IMX53__PIC_H_
-#define _CORE__INCLUDE__SPEC__IMX53__PIC_H_
+#ifndef _CORE__SPEC__IMX53__PIC_H_
+#define _CORE__SPEC__IMX53__PIC_H_
 
 #include <hw/spec/arm/imx_tzic.h>
 
@@ -45,4 +45,4 @@ class Genode::Pic : public Hw::Pic
 
 namespace Kernel { using Pic = Genode::Pic; }
 
-#endif /* _CORE__INCLUDE__SPEC__IMX53__PIC_H_ */
+#endif /* _CORE__SPEC__IMX53__PIC_H_ */

repos/base-hw/src/core/spec/imx53/timer.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__IMX53__TIMER_H_
-#define _CORE__INCLUDE__SPEC__IMX53__TIMER_H_
+#ifndef _CORE__SPEC__IMX53__TIMER_H_
+#define _CORE__SPEC__IMX53__TIMER_H_
 
 /* base-hw includes */
 #include <kernel/types.h>
@@ -174,4 +174,4 @@ class Genode::Timer : public Mmio
 
 namespace Kernel { using Timer = Genode::Timer; }
 
-#endif /* _CORE__INCLUDE__SPEC__IMX53__TIMER_H_ */
+#endif /* _CORE__SPEC__IMX53__TIMER_H_ */

repos/base-hw/src/core/spec/imx53_qsb/trustzone/csu_config.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__IMX53_QSB__TRUSTZONE__CSU_CONFIG_H_
-#define _CORE__INCLUDE__SPEC__IMX53_QSB__TRUSTZONE__CSU_CONFIG_H_
+#ifndef _CORE__SPEC__IMX53_QSB__TRUSTZONE__CSU_CONFIG_H_
+#define _CORE__SPEC__IMX53_QSB__TRUSTZONE__CSU_CONFIG_H_
 
 /**
  * Configuration of the Driver for the Central Security Unit
@@ -27,4 +27,4 @@ namespace Csu_config
 	};
 };
 
-#endif /* _CORE__INCLUDE__SPEC__IMX53_QSB__TRUSTZONE__CSU_CONFIG_H_ */
+#endif /* _CORE__SPEC__IMX53_QSB__TRUSTZONE__CSU_CONFIG_H_ */

repos/base-hw/src/core/spec/imx6/board.h

@@ -12,12 +12,12 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__IMX6__BOARD_H_
-#define _CORE__INCLUDE__SPEC__IMX6__BOARD_H_
+#ifndef _CORE__SPEC__IMX6__BOARD_H_
+#define _CORE__SPEC__IMX6__BOARD_H_
 
 /* core includes */
 #include <spec/cortex_a9/board_support.h>
 
 namespace Genode { using Board = Cortex_a9::Board; }
 
-#endif /* _CORE__INCLUDE__SPEC__IMX6__BOARD_H_ */
+#endif /* _CORE__SPEC__IMX6__BOARD_H_ */

repos/base-hw/src/core/spec/panda/board.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__PANDA__BOARD_H_
-#define _CORE__INCLUDE__SPEC__PANDA__BOARD_H_
+#ifndef _CORE__SPEC__PANDA__BOARD_H_
+#define _CORE__SPEC__PANDA__BOARD_H_
 
 #include <hw/spec/arm/panda_trustzone_firmware.h>
 #include <spec/cortex_a9/board_support.h>
@@ -59,4 +59,4 @@ class Genode::Board : public Cortex_a9::Board
 		L2_cache _l2_cache { Base::l2_cache().base() };
 };
 
-#endif /* _CORE__INCLUDE__SPEC__PANDA__BOARD_H_ */
+#endif /* _CORE__SPEC__PANDA__BOARD_H_ */

repos/base-hw/src/core/spec/pbxa9/board.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__PBXA9__BOARD_H_
-#define _CORE__INCLUDE__SPEC__PBXA9__BOARD_H_
+#ifndef _CORE__SPEC__PBXA9__BOARD_H_
+#define _CORE__SPEC__PBXA9__BOARD_H_
 
 /* core includes */
 #include <spec/cortex_a9/board_support.h>
@@ -22,4 +22,4 @@ namespace Genode
 	using Board = Cortex_a9::Board;
 }
 
-#endif /* _CORE__INCLUDE__SPEC__PBXA9__BOARD_H_ */
+#endif /* _CORE__SPEC__PBXA9__BOARD_H_ */

repos/base-hw/src/core/spec/pl011/serial.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__PL011__SERIAL_H_
-#define _CORE__INCLUDE__SPEC__PL011__SERIAL_H_
+#ifndef _CORE__SPEC__PL011__SERIAL_H_
+#define _CORE__SPEC__PL011__SERIAL_H_
 
 /* core includes */
 #include <board.h>
@@ -40,4 +40,4 @@ class Genode::Serial : public Pl011_base
 		{ }
 };
 
-#endif /* _CORE__INCLUDE__SPEC__PL011__SERIAL_H_ */
+#endif /* _CORE__SPEC__PL011__SERIAL_H_ */

repos/base-hw/src/core/spec/riscv/board.h

@@ -11,9 +11,9 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _BOARD_H_
-#define _BOARD_H_
+#ifndef _CORE__SPEC__RISCV__BOARD_H_
+#define _CORE__SPEC__RISCV__BOARD_H_
 
 namespace Genode { struct Board { void init() { } }; }
 
-#endif /* _BOARD_H_ */
+#endif /* _CORE__SPEC__RISCV__BOARD_H_ */

repos/base-hw/src/core/spec/riscv/cpu.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CPU_H_
-#define _CPU_H_
+#ifndef _CORE__SPEC__RISCV__CPU_H_
+#define _CORE__SPEC__RISCV__CPU_H_
 
 /* Genode includes */
 #include <base/stdint.h>
@@ -160,4 +160,4 @@ class Genode::Cpu
 		void switch_to(User_context&) { }
 };
 
-#endif /* _CPU_H_ */
+#endif /* _CORE__SPEC__RISCV__CPU_H_ */

repos/base-hw/src/core/spec/riscv/pic.h

@@ -13,8 +13,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _PIC_H_
-#define _PIC_H_
+#ifndef _CORE__SPEC__RISCV__PIC_H_
+#define _CORE__SPEC__RISCV__PIC_H_
 
 namespace Genode { class Pic; }
 
@@ -43,4 +43,4 @@ class Genode::Pic
 
 namespace Kernel { class Pic : public Genode::Pic { }; }
 
-#endif /* _PIC_H_ */
+#endif /* _CORE__SPEC__RISCV__PIC_H_ */

repos/base-hw/src/core/spec/riscv/serial.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _SERIAL_H_
-#define _SERIAL_H_
+#ifndef _CORE__SPEC__RISCV__SERIAL_H_
+#define _CORE__SPEC__RISCV__SERIAL_H_
 
 #include <hw/spec/riscv/uart.h>
 
@@ -26,4 +26,4 @@ struct Genode::Serial : Hw::Riscv_uart
 	Serial(unsigned) { }
 };
 
-#endif /* _SERIAL_H_ */
+#endif /* _CORE__SPEC__RISCV__SERIAL_H_ */

repos/base-hw/src/core/spec/riscv/timer.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _TIMER_H_
-#define _TIMER_H_
+#ifndef _CORE__SPEC__RISCV__TIMER_H_
+#define _CORE__SPEC__RISCV__TIMER_H_
 
 /* base-hw includes */
 #include <kernel/types.h>
@@ -89,4 +89,4 @@ struct Genode::Timer
 
 namespace Kernel { class Timer : public Genode::Timer { }; }
 
-#endif /* _TIMER_H_ */
+#endif /* _CORE__SPEC__RISCV__TIMER_H_ */

repos/base-hw/src/core/spec/riscv/translation_table.h

@@ -11,9 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-
-#ifndef _CORE__INCLUDE__SPEC__RISCV__TRANSLATION_TABLE_H_
-#define _CORE__INCLUDE__SPEC__RISCV__TRANSLATION_TABLE_H_
+#ifndef _CORE__SPEC__RISCV__TRANSLATION_TABLE_H_
+#define _CORE__SPEC__RISCV__TRANSLATION_TABLE_H_
 
 #include <hw/spec/riscv/page_table.h>
 #include <kernel/interface.h>
@@ -25,4 +24,4 @@ void Sv39::Level_x_translation_table<E, B, S>::_translation_added(addr_t addr,
 	Kernel::update_data_region(addr, size);
 }
 
-#endif /* _CORE__INCLUDE__SPEC__RISCV__TRANSLATION_TABLE_H_ */
+#endif /* _CORE__SPEC__RISCV__TRANSLATION_TABLE_H_ */

repos/base-hw/src/core/spec/rpi/board.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__BOARD_H_
-#define _CORE__INCLUDE__BOARD_H_
+#ifndef _CORE__SPEC__RPI__BOARD_H_
+#define _CORE__SPEC__RPI__BOARD_H_
 
 /* core includes */
 #include <drivers/board_base.h>
@@ -27,4 +27,4 @@ struct Genode::Board : Board_base
 	static constexpr bool SMP = false;
 };
 
-#endif /* _CORE__INCLUDE__BOARD_H_ */
+#endif /* _CORE__SPEC__RPI__BOARD_H_ */

repos/base-hw/src/core/spec/rpi/pic.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__RPI__PIC_H_
-#define _CORE__INCLUDE__SPEC__RPI__PIC_H_
+#ifndef _CORE__SPEC__RPI__PIC_H_
+#define _CORE__SPEC__RPI__PIC_H_
 
 /* Genode includes */
 #include <util/mmio.h>
@@ -131,4 +131,4 @@ class Genode::Pic : Mmio
 
 namespace Kernel { using Genode::Pic; }
 
-#endif /* _CORE__INCLUDE__SPEC__RPI__PIC_H_ */
+#endif /* _CORE__SPEC__RPI__PIC_H_ */

repos/base-hw/src/core/spec/rpi/timer.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__RPI__TIMER_H_
-#define _CORE__INCLUDE__SPEC__RPI__TIMER_H_
+#ifndef _CORE__SPEC__RPI__TIMER_H_
+#define _CORE__SPEC__RPI__TIMER_H_
 
 /* base-hw includes */
 #include <kernel/types.h>
@@ -58,4 +58,4 @@ class Genode::Timer : public Mmio
 
 namespace Kernel { using Genode::Timer; }
 
-#endif /* _CORE__INCLUDE__SPEC__RPI__TIMER_H_ */
+#endif /* _CORE__SPEC__RPI__TIMER_H_ */

repos/base-hw/src/core/spec/smp/kernel/lock.h

@@ -12,8 +12,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__KERNEL__LOCK_H_
-#define _CORE__INCLUDE__KERNEL__LOCK_H_
+#ifndef _CORE__SPEC__SMP__KERNEL__LOCK_H_
+#define _CORE__SPEC__SMP__KERNEL__LOCK_H_
 
 #include <hw/spin_lock.h>
 
@@ -24,4 +24,4 @@ namespace Kernel
 	Lock & data_lock();
 }
 
-#endif /* _CORE__INCLUDE__KERNEL__LOCK_H_ */
+#endif /* _CORE__SPEC__SMP__KERNEL__LOCK_H_ */

repos/base-hw/src/core/spec/tl16c750/serial.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__TL16C750__SERIAL_H_
-#define _CORE__INCLUDE__SPEC__TL16C750__SERIAL_H_
+#ifndef _CORE__SPEC__TL16C750__SERIAL_H_
+#define _CORE__SPEC__TL16C750__SERIAL_H_
 
 /* core includes */
 #include <board.h>
@@ -43,4 +43,4 @@ namespace Genode
 	};
 }
 
-#endif /* _CORE__INCLUDE__SPEC__TL16C750__SERIAL_H_ */
+#endif /* _CORE__SPEC__TL16C750__SERIAL_H_ */

repos/base-hw/src/core/spec/usb_armory/csu_config.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__USB_ARMORY__CSU_CONFIG_H_
-#define _CORE__INCLUDE__SPEC__USB_ARMORY__CSU_CONFIG_H_
+#ifndef _CORE__SPEC__USB_ARMORY__CSU_CONFIG_H_
+#define _CORE__SPEC__USB_ARMORY__CSU_CONFIG_H_
 
 /**
  * Configuration of the Driver for the Central Security Unit
@@ -27,4 +27,4 @@ namespace Csu_config
 	};
 };
 
-#endif /* _CORE__INCLUDE__SPEC__USB_ARMORY__CSU_CONFIG_H_ */
+#endif /* _CORE__SPEC__USB_ARMORY__CSU_CONFIG_H_ */

repos/base-hw/src/core/spec/x86_64/board.h

@@ -11,8 +11,8 @@
  * under the terms of the GNU Affero General Public License version 3.
  */
 
-#ifndef _CORE__INCLUDE__SPEC__X86_64__BOARD_H_
-#define _CORE__INCLUDE__SPEC__X86_64__BOARD_H_
+#ifndef _CORE__SPEC__X86_64__BOARD_H_
+#define _CORE__SPEC__X86_64__BOARD_H_
 
 namespace Genode
 {
@@ -27,4 +27,4 @@ namespace Genode
 	};
 }
 
-#endif /* _CORE__INCLUDE__SPEC__X86_64__BOARD_H_ */
+#endif /* _CORE__SPEC__X86_64__BOARD_H_ */