diff --git a/gasket_page_table.c b/gasket_page_table.c index dcd52e1..36a560c 100644 --- a/gasket_page_table.c +++ b/gasket_page_table.c @@ -347,7 +347,7 @@ int gasket_page_table_init( pg_tbl->config.mode == GASKET_PAGE_TABLE_MODE_SIMPLE) { pg_tbl->num_simple_entries = total_entries; pg_tbl->num_extended_entries = 0; - pg_tbl->extended_flag = 1ull << page_table_config->extended_bit; + pg_tbl->extended_flag = 1ull << page_table_config->extended_bit; } else { pg_tbl->num_simple_entries = 0; pg_tbl->num_extended_entries = total_entries;