INVLPGB_FLAG_INCLUDE_GLOBAL
__invlpgb_all(0, 0, INVLPGB_FLAG_INCLUDE_GLOBAL);
__invlpgb(0, 0, addr, nr, PTE_STRIDE, INVLPGB_FLAG_INCLUDE_GLOBAL);