diff options
Diffstat (limited to 'hicn-plugin/src/pcs.h')
| -rw-r--r-- | hicn-plugin/src/pcs.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/hicn-plugin/src/pcs.h b/hicn-plugin/src/pcs.h index f9cb7bd91..0b7635100 100644 --- a/hicn-plugin/src/pcs.h +++ b/hicn-plugin/src/pcs.h @@ -634,7 +634,10 @@ hicn_pcs_lookup_one (hicn_pit_cs_t *pitcs, const hicn_name_t *name, } // Retrieve entry from pool - *pcs_entry = hicn_pcs_entry_get_entry_from_index (pitcs, kv.value); + *pcs_entry = hicn_pcs_entry_get_entry_from_index (pitcs, (u32) (kv.value)); + + // If the search is successful, we MUST find the entry in the pool. + ALWAYS_ASSERT (*pcs_entry); // If entry found and it is a CS entry, let's update the LRU if (hicn_pcs_entry_is_cs (*pcs_entry)) |