Symbol: INVLPGB_VA
sys/amd64/amd64/mp_machdep.c
718
invlpgb(INVLPGB_GLOB | INVLPGB_VA | trunc_page(addr), 0, 0);
sys/amd64/amd64/mp_machdep.c
748
invlpgb(INVLPGB_GLOB | INVLPGB_VA | va, 0,
sys/amd64/amd64/mp_machdep.c
756
invlpgb(INVLPGB_GLOB | INVLPGB_VA | va, 0,