SVMM_DBG
SVMM_DBG(svmm, "invalidate %016lx-%016lx", start, limit);
SVMM_DBG(svmm, "addr %016llx", buffer->fault[fi]->addr);