pmap_tlb_syncicache_wanted
pmap_tlb_syncicache_wanted(ci);
void pmap_tlb_syncicache_wanted(struct cpu_info *);