diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-10-08 07:50:10 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-10-10 14:00:37 +0200 |
commit | e1a0e0c30829a0da4174085ee5109fba337dba11 (patch) | |
tree | d033929ab19a3a21e12662a35ff845d7bf7b4195 /cpukit/vc-key.sh | |
parent | 6ca00e61dc8ba9f3c0510aa88209ef8ca31e3b6d (diff) |
grlib: Add and use irqmp_has_timestamp()
Replace leon3_irqmp_has_timestamp() with irqmp_has_timestamp() and move
it to grlib.h.
Close #4128.
Diffstat (limited to 'cpukit/vc-key.sh')
0 files changed, 0 insertions, 0 deletions