* Decrement address space reference count. * Frees the address space when refcount reaches 0. * IRQs remain disabled through as_destroy() to prevent reentrancy. */
source not stored for this graph (policy: none)
no test coverage detected