void frame_free(struct page* page)
{
uint32_t frame = page->frame;
if (!(frame)) {
return; /* Already freed. */
}
frame_clear(frame);
page->frame = 0;
}
void frame_destroy(struct frame *f) {
if (f != NULL) {
/* lock */
/* frame_lock(f); */
frame_clear(f);
operand_stack_destroy(f->operand_stack);
local_variable_array_destroy(f->local_variable_array);
/* unlock */
/* frame_unlock(f); */
nlock_destroy(f->nlock);
free(f->method_name);
free(f);
}
}
