ckup()</code> is called to use both the primary and backup memory allocators,
and safely deallocate the task.</p>
<p>The <code>Tallock</code> structure is defined in <a href="https://github.com/tier4/awkernel/blob/main/awkernel_lib/src/heap.rs">awkernel_lib/src/heap.rs</a> as follows.</p>
<pre><pre class="playground"><code class="language-rust"><span class="boring">#![allow(unused)]
</span><span class="boring">fn main() {
</span>struct Allocator(Mutex&lt;TLSFAlloc&gt;);
struct BackUpAllocator(Mutex&lt;TLSFA