diff options
| author | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | 2017-11-14 15:35:41 +0000 |
|---|---|---|
| committer | Jeenu Viswambharan <jeenu.viswambharan@arm.com> | 2017-11-20 08:15:46 +0000 |
| commit | b968241faf9455f461fc896d9c62fbb902559311 (patch) | |
| tree | 8104e0ee22ff80ee474d2d6236087447ec3b29f8 /include/services | |
| parent | 424fc73a46dfdd606c21d362f11b46a6602d11f6 (diff) | |
SDEI: Fix type of register count
Register count is currently declared as unsigned, where as there are
asserts in place to check it being negative during unregister. These are
flagged as never being true.
Change-Id: I34f00f0ac5bf88205791e9c1298a175dababe7c8
Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>
Diffstat (limited to 'include/services')
| -rw-r--r-- | include/services/sdei.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/include/services/sdei.h b/include/services/sdei.h index b07e93b1..ce9a008c 100644 --- a/include/services/sdei.h +++ b/include/services/sdei.h @@ -154,7 +154,7 @@ typedef struct sdei_ev_map { int32_t ev_num; /* Event number */ unsigned int intr; /* Physical interrupt number for a bound map */ unsigned int map_flags; /* Mapping flags, see SDEI_MAPF_* */ - unsigned int reg_count; /* Registration count */ + int reg_count; /* Registration count */ spinlock_t lock; /* Per-event lock */ } sdei_ev_map_t; |