def setup_vmemmap_base(cls, symbol: gdb.Symbol) -> None:
        cls.vmemmap_base = int(symbol.value())
        # setup_page_type() was first and used the hardcoded initial value,
        # we have to update
        cls.vmemmap = gdb.Value(cls.vmemmap_base).cast(types.page_type.pointer())