__invlpgb_all
__invlpgb_all(0, pcid, INVLPGB_FLAG_PCID);
__invlpgb_all(0, 0, INVLPGB_FLAG_INCLUDE_GLOBAL);
__invlpgb_all(0, 0, INVLPGB_MODE_ALL_NONGLOBALS);