cleanup: types in gc_alloc_update_page_tables