From 3b46a7b655cb7e546e12b65072a98f33f86f37fa Mon Sep 17 00:00:00 2001 From: Nick Spinale Date: Sat, 28 Aug 2021 19:03:05 +0000 Subject: [PATCH] trivial: make capitalization more consistent Signed-off-by: Nick Spinale Signed-off-by: Gerwin Klein --- capdl-loader-app/include/capdl.h | 2 +- capdl-loader-app/src/main.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/capdl-loader-app/include/capdl.h b/capdl-loader-app/include/capdl.h index 6aa0ea4..e9b9447 100644 --- a/capdl-loader-app/include/capdl.h +++ b/capdl-loader-app/include/capdl.h @@ -420,7 +420,7 @@ typedef struct { #define CDL_TCB_Notification_Slot 8 #if defined(CONFIG_ARM_HYPERVISOR_SUPPORT) || defined(CONFIG_VTX) -#define CDL_TCB_VCPU_SLOT 9 +#define CDL_TCB_VCPU_Slot 9 #endif #define CDL_CapData_MakeGuard(x, y) \ diff --git a/capdl-loader-app/src/main.c b/capdl-loader-app/src/main.c index b464e41..f02a6e2 100644 --- a/capdl-loader-app/src/main.c +++ b/capdl-loader-app/src/main.c @@ -1016,7 +1016,7 @@ static void init_tcb(CDL_Model *spec, CDL_ObjID tcb) CDL_Cap *cdl_notification = get_cap_at(cdl_tcb, CDL_TCB_Notification_Slot); #if defined(CONFIG_ARM_HYPERVISOR_SUPPORT) || defined(CONFIG_VTX) - CDL_Cap *cdl_vcpu = get_cap_at(cdl_tcb, CDL_TCB_VCPU_SLOT); + CDL_Cap *cdl_vcpu = get_cap_at(cdl_tcb, CDL_TCB_VCPU_Slot); #endif CDL_Cap *cdl_sc = get_cap_at(cdl_tcb, CDL_TCB_SC_Slot);