Am 22/04/2018 um 13:55 schrieb Jérôme Duval:
2018-04-22 13:12 GMT+02:00 Axel Dörfler <axeld@xxxxxxxxxxxxxxxx>:
Was there a specific reason to replace pae_page_table_entry* with withSetTableEntry() can now be called with a pae_page_directory_entry* or
uint64_t*? Is the former used for anything anymore?
a pae_page_table_entry*, hence the change to uint64_t*, which is their
base type.