Martin Stein 3bdf70f771 hw: rename kill_* functions in bin_* ...

In the future bin_* means the direct destruction of a kernel object
without any blocking. kill_* in contrast is used for bringing a
kernel object such as signal contexts synchronized into a sleeping
state from where they can be destructed without the risk of getting
broken refs in userland.

ref #989

2013-12-20 14:48:06 +01:00

..

interface.h

hw: rename kill_* functions in bin_*

2013-12-20 14:48:06 +01:00

log.h

hw: clearer naming scheme in kernel API

2013-11-25 09:45:30 +01:00

perf_counter.h

hw: enable performance counter on ARMv6 and ARMv7

2013-10-17 11:05:53 +02:00