region_table_slot_t
if (nr_slots > ULONG_MAX / sizeof(region_table_slot_t)) {
sizeof(region_table_slot_t));
region_table_slot_t pte;
pte &= ~((((region_table_slot_t)1 << sctx->region_table_entry_bits) - 1) << bit);
pte |= (region_table_slot_t)value << bit;
region_table_slot_t *region_table; /* Region table */
while (sctx->region_table_entry_bits < sizeof(region_table_slot_t) * 8 &&
(region_table_slot_t)1 << sctx->region_table_entry_bits < nr_paths)
sctx->region_entries_per_slot = (sizeof(region_table_slot_t) * 8) / sctx->region_table_entry_bits;