vmp_release_inner
const bool was_unmapped = vmp_release_inner(vmp, vmc);
if (vmp_release_inner(vmp, vmc)) {