MADV_INVAL
madvise(addr, PAGE_SIZE, MADV_INVAL);
madvise((void *)KvaStart, KvaEnd - KvaStart, MADV_INVAL);
madvise((void *)va, bytes, MADV_INVAL);
vmspace_mcontrol(pmap, (void *)va, bytes, MADV_INVAL, 0);
#define MADV_CONTROL_START MADV_INVAL
case MADV_INVAL:
case MADV_INVAL:
behav != MADV_INVAL)) {
if (behav == MADV_INVAL) {