void
emulator_destroy(emulator_t* emu)
{
fb_destroy(&emu->fb);
pr_destroy(&emu->pr);
mbox_destroy(&emu->mbox);
gpio_destroy(&emu->gpio);
cpu_destroy(&emu->cpu);
vfp_destroy(&emu->vfp);
memory_destroy(&emu->memory);
}
/** Delete an mbox
* @param mbox mbox to delete */
void sys_mbox_free(sys_mbox_t *mbox)
{
mbox_destroy(mbox);
}
void rq_close(rqueue *rq)
{
mbox_destroy((struct mbox *) rq);
}
