vtag_flush_pgcnt_tl1
xt_some(cpuset, vtag_flush_pgcnt_tl1, (uint64_t)addr,
void vtag_flush_pgcnt_tl1(uint64_t addr, uint64_t sfmmup_pgcnt);