update_via
update_via(int cpu, cpuctl_update_args_t *args, struct thread *td)
update_via(ipfw_insn *cmd0, uint32_t idx)