devicetree: format files in boards/xen

Applying dts-linter results for format files in

boards/xen

Signed-off-by: Kyle Micallef Bonnici <[email protected]>

Author: kylebonnici

boards/xen/xenvm/xenvm.dts

@@ -18,26 +18,26 @@
 #include <zephyr/dt-bindings/interrupt-controller/arm-gic.h>
 
 / {
-	model = "XENVM";
 	compatible = "xen,xenvm";
-	interrupt-parent = <&gic>;
 	#address-cells = <0x02>;
 	#size-cells = <0x02>;
+	interrupt-parent = <&gic>;
+	model = "XENVM";
 
 	chosen {
-		zephyr,sram = &ram;
 		zephyr,console = &xen_hvc;
+		zephyr,sram = &ram;
 	};
 
 	cpus {
 		#address-cells = <0x01>;
 		#size-cells = <0x00>;
 
 		cpu@0 {
-			device_type = "cpu";
 			compatible = "arm,armv8";
-			enable-method = "psci";
 			reg = <0x00>;
+			device_type = "cpu";
+			enable-method = "psci";
 		};
 	};
 
@@ -47,31 +47,31 @@
 	};
 
 	ram: memory@40000000 {
-		device_type = "mmio-sram";
 		reg = <0x00 0x40000000 0x00 DT_SIZE_M(16)>;
+		device_type = "mmio-sram";
 	};
 
 	gic: interrupt-controller@3001000 {
 		compatible = "arm,gic-v2", "arm,gic";
-		#interrupt-cells = <0x04>;
+		reg = <0x00 0x3001000 0x00 0x1000 0x00 0x3002000 0x00 0x2000>;
 		#address-cells = <0x00>;
+		#interrupt-cells = <0x04>;
 		interrupt-controller;
-		reg = <0x00 0x3001000 0x00 0x1000 0x00 0x3002000 0x00 0x2000>;
 	};
 
 	timer {
 		compatible = "arm,armv8-timer";
+		interrupt-parent = <&gic>;
 		interrupts = <GIC_PPI 0x0d IRQ_TYPE_LEVEL IRQ_DEFAULT_PRIORITY
 			      GIC_PPI 0x0e IRQ_TYPE_LEVEL IRQ_DEFAULT_PRIORITY
 			      GIC_PPI 0x0b IRQ_TYPE_LEVEL IRQ_DEFAULT_PRIORITY>;
-		interrupt-parent = <&gic>;
 	};
 
 	hypervisor: hypervisor@38000000 {
 		compatible = "xen,xen";
 		reg = <0x00 0x38000000 0x00 0x1000000>;
-		interrupts = <GIC_PPI 0x0f IRQ_TYPE_EDGE IRQ_DEFAULT_PRIORITY>;
 		interrupt-parent = <&gic>;
+		interrupts = <GIC_PPI 0x0f IRQ_TYPE_EDGE IRQ_DEFAULT_PRIORITY>;
 	};
 
 	xen_hvc: hvc {