K 10
svn:author
V 4
jake
K 8
svn:date
V 27
2001-09-03T23:13:42.000000Z
K 7
svn:log
V 189
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.

END