void address_space_destroy(AddressSpace *as)

{

    /* Flush out anything from MemoryListeners listening in on this */

    memory_region_transaction_begin();

    as->root = NULL;

    memory_region_transaction_commit();

    QTAILQ_REMOVE(&address_spaces, as, address_spaces_link);

    address_space_destroy_dispatch(as);

    flatview_destroy(as->current_map);

    g_free(as->current_map);


}
void address_space_destroy(AddressSpace *as)

{

    

    memory_region_transaction_begin();

    as->root = NULL;

    memory_region_transaction_commit();

    QTAILQ_REMOVE(&address_spaces, as, address_spaces_link);

    address_space_destroy_dispatch(as);

    flatview_destroy(as->current_map);

    g_free(as->current_map);


}
void FUNC_0(AddressSpace *VAR_0)

{

    

    memory_region_transaction_begin();

    VAR_0->root = NULL;

    memory_region_transaction_commit();

    QTAILQ_REMOVE(&address_spaces, VAR_0, address_spaces_link);

    address_space_destroy_dispatch(VAR_0);

    flatview_destroy(VAR_0->current_map);

    g_free(VAR_0->current_map);


}
void FUNC_0(AddressSpace *VAR_0)
{ memory_region_transaction_begin(); VAR_0->root = NULL; memory_region_transaction_commit(); QTAILQ_REMOVE(&address_spaces, VAR_0, address_spaces_link); address_space_destroy_dispatch(VAR_0); flatview_destroy(VAR_0->current_map); g_free(VAR_0->current_map); }