On Wednesday, February 13, 2019 8:07 PM, Nitesh Narayan Lal wrote: > Once the host free the pages. All the isolated pages are returned back > to the buddy. (This is implemented in hyperlist_ready()) This actually has the same issue: the isolated pages have to wait to return to the buddy after the host has done with madvise(DONTNEED). Otherwise, a page could be used by a guest thread and the next moment the host takes it to other host threads. Best, Wei