update_trap_counts
update_trap_counts(Fpu_register, aflags, bflags, trap_counts);
update_trap_counts(Fpu_register, aflags, bflags,
update_trap_counts(Fpu_register, aflags, bflags,
update_trap_counts(Fpu_register, aflags, bflags,
update_trap_counts(Fpu_register, aflags, bflags,
update_trap_counts(Fpu_register, aflags, bflags,
update_trap_counts(Fpu_register, aflags, bflags,
update_trap_counts(Fpu_register, aflags, bflags, trap_counts);
update_trap_counts(Fpu_register, aflags, bflags, trap_counts);
update_trap_counts(Fpu_register, aflags, bflags, trap_counts);
update_trap_counts(Fpu_register, aflags, bflags, trap_counts);
update_trap_counts(Fpu_register, aflags, bflags, trap_counts);