Jake Burkholder cc8b4c0416 Change tf_arg to uintptr_t from void * to reflect the fact that
non-pointer values may be passed in it.  Add appropriate casts.

The interrupt type is now passed in tf_arg instead tf_type.
2001-09-03 23:13:42 +00:00
..
2001-08-15 19:50:59 +00:00
2001-09-03 22:13:53 +00:00
2001-08-14 03:09:19 +00:00
2001-08-15 19:50:59 +00:00
2001-09-03 22:41:40 +00:00
2001-09-03 22:57:21 +00:00
2001-09-03 22:41:40 +00:00