Symbol: smp_masked_invlpg_range