[includes] replace header guards with #pragma once

platform/zynq/include/platform/gic.h

@@ -5,8 +5,7 @@
  * license that can be found in the LICENSE file or at
  * https://opensource.org/licenses/MIT
  */
-#ifndef __PLATFORM_GIC_H
-#define __PLATFORM_GIC_H
+#pragma once
 
 #include <platform/zynq.h>
 
@@ -14,4 +13,3 @@
 #define GICC_OFFSET (0x0100)
 #define GICD_OFFSET (0x1000)
 
-#endif

platform/zynq/include/platform/gpio.h

@@ -5,6 +5,7 @@
  * license that can be found in the LICENSE file or at
  * https://opensource.org/licenses/MIT
  */
+#pragma once
 
 #include <platform/interrupts.h>
 #include <platform/zynq.h>

platform/zynq/platform_p.h

@@ -5,12 +5,9 @@
  * license that can be found in the LICENSE file or at
  * https://opensource.org/licenses/MIT
  */
-#ifndef __PLATFORM_P_H
-#define __PLATFORM_P_H
+#pragma once
 
 void platform_init_interrupts(void);
 void platform_init_timer(uint32_t freq);
 void zynq_gpio_init(void);
 
-#endif
-