Axel Heider 3c180701ee remove Arch_migrateTCB() ...

It does the same on all architectures, so the contents can be moved
into the generic code.

Signed-off-by: Axel Heider <axelheider@gmx.de>

2023-06-21 08:58:28 +10:00

..

cap.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

cnode.h

remove slot_range_t

2021-03-19 11:29:51 +11:00

endpoint.h

Implemented signal fastpath on AARCH64 (#793)

2023-01-10 10:15:39 +11:00

interrupt.h

avoid passing extra_caps_t by value

2021-03-19 11:29:51 +11:00

notification.h

Implemented signal fastpath on AARCH64 (#793)

2023-01-10 10:15:39 +11:00

objecttype.h

remove slot_range_t

2021-03-19 11:29:51 +11:00

reply.h

mcs: add tcb argument to reply_unlink

2020-10-02 12:38:39 +10:00

schedcontext.h

avoid passing extra_caps_t by value

2021-03-19 11:29:51 +11:00

schedcontrol.h

avoid passing extra_caps_t by value

2021-03-19 11:29:51 +11:00

structures_32.bf

Convert license tags to SPDX identifiers

2020-03-09 13:21:49 +08:00

structures_64.bf

structures: fix MCS object sizes

2022-07-19 14:01:45 +10:00

structures.h

mcs: remove unused tcbReply field from tcb struct

2022-09-13 13:21:20 +02:00

tcb.h

remove Arch_migrateTCB()

2023-06-21 08:58:28 +10:00

untyped.h

remove slot_range_t

2021-03-19 11:29:51 +11:00