Function panda_sys::address_space_destroy

pub unsafe extern "C" fn address_space_destroy(as_: *mut AddressSpace)

address_space_destroy: destroy an address space

Releases all resources associated with an address space. After an address space is destroyed, its root memory region (given by address_space_init()) may be destroyed as well.

@as: address space to be destroyed