Skip to content
Snippets Groups Projects
Commit 629a8b58 authored by Avi Kivity's avatar Avi Kivity
Browse files

mempool: format large block header before freeing it

Pages allocated with alloc_page() have no metadata, so we must format the
header before returing it to the free range tree.
parent 4486fe3b
No related branches found
No related tags found
No related merge requests found
......@@ -196,6 +196,7 @@ void* alloc_page()
void free_page(void* v)
{
new (v) page_range(page_size);
free_large(v + page_size);
}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment