112
108
xnheap_free(&shm->heapbase, shm->addr);
114
110
#ifdef CONFIG_XENO_OPT_PERVASIVE
116
112
#else /* !CONFIG_XENO_OPT_PERVASIVE. */
117
113
xnheap_destroy(&shm->heapbase, &pse51_free_heap_extent, NULL);
118
114
#endif /* !CONFIG_XENO_OPT_PERVASIVE. */