vmlinux.h: fix enum declaration

The previous declaration was declaring a type IRQConstants and a variable platform_interrupt_t. Neither name is referenced in the rest of the code and platform_interrupt_t is the better name for the type. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
seL4 · Sep 2, 2021 · 90c574b · 90c574b
1 parent 23313e1
commit 90c574b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/components/VM_Arm/plat_include/tx1/plat/vmlinux.h b/components/VM_Arm/plat_include/tx1/plat/vmlinux.h
@@ -5,7 +5,7 @@
  */
 #pragma once
 
-enum IRQConstants {
+enum platform_interrupt_t {
     INTERRUPT_VTIMER                = 27,
     INTERRUPT_PPI_15                = 31,
     INTERRUPT_TMR1                  = 32,
@@ -201,7 +201,7 @@ enum IRQConstants {
 //  RESERVED                        = 222,
 //  RESERVED                        = 223,
     maxIRQ                          = 224
-} platform_interrupt_t;
+};
 
 #define MAX_IRQ                       maxIRQ
 

diff --git a/components/VM_Arm/plat_include/tx2/plat/vmlinux.h b/components/VM_Arm/plat_include/tx2/plat/vmlinux.h
@@ -13,7 +13,7 @@
 #define GIC_LIC_INTID_BASE      (32)
 #define TX2_IRQ_PPI_VTIMER      (27)
 
-enum IRQConstants {
+enum platform_interrupt_t {
     TX2_TOP_TKE_SHARED0 = GIC_LIC_INTID_BASE,
     TX2_TOP_TKE_SHARED1,
     TX2_TOP_TKE_SHARED2,
@@ -135,7 +135,7 @@ enum IRQConstants {
     TX2_UARTG,
     TX2_NVCSI,
     maxIRQ                          = GIC_LIC_INTID_BASE + 287
-} platform_interrupt_t;
+};
 
 /* I went down and copied out the values page by page, so in order to ensure
  * that I didn't miss anything, I'm asserting the values at the top of each page