UVMF_ALL
UVMF_INVLPG | UVMF_ALL);
pte, UVMF_INVLPG | UVMF_ALL));
UVMF_INVLPG | UVMF_ALL, data->domid) != 0) {
