Symbol: pmap_inval_smp_cmpset