K 10
svn:author
V 8
jmallett
K 8
svn:date
V 27
2012-03-12T07:34:15.890496Z
K 7
svn:log
V 400
Remove platform APIs which are not used by any code and which had only stub
implementations or no implementation on all platforms.

Some of these functions might be good ideas, but their semantics were unclear
given the lack of implementation, and an unlucky porter could be fooled into
trying to implement them or, worse, being baffled when something like
platform_trap_enter() failed to be called.

END