L4Re Operating System Framework
Interface and Usage Documentation
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
thread.h
Go to the documentation of this file.
1
5/*
6 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
7 * Alexander Warg <warg@os.inf.tu-dresden.de>,
8 * Björn Döbel <doebel@os.inf.tu-dresden.de>,
9 * Torsten Frenzel <frenzel@os.inf.tu-dresden.de>
10 * economic rights: Technische Universität Dresden (Germany)
11 *
12 * License: see LICENSE.spdx (in this directory or the directories above)
13 */
14#pragma once
15
16#include <l4/sys/types.h>
17#include <l4/sys/utcb.h>
18#include <l4/sys/ipc.h>
19
86
95 l4_umword_t flags, l4_utcb_t *utcb) L4_NOTHROW;
96
131 l4_umword_t *flags) L4_NOTHROW;
132
141 l4_umword_t *flags, l4_utcb_t *utcb) L4_NOTHROW;
142
143
144
190L4_INLINE void
192
197L4_INLINE void
198l4_thread_control_start_u(l4_utcb_t *utcb) L4_NOTHROW;
199
209L4_INLINE void
211
216L4_INLINE void
217l4_thread_control_pager_u(l4_cap_idx_t pager, l4_utcb_t *utcb) L4_NOTHROW;
218
228L4_INLINE void
230
235L4_INLINE void
236l4_thread_control_exc_handler_u(l4_cap_idx_t exc_handler,
237 l4_utcb_t *utcb) L4_NOTHROW;
238
266L4_INLINE void
269
274L4_INLINE void
275l4_thread_control_bind_u(l4_utcb_t *thread_utcb,
276 l4_cap_idx_t task, l4_utcb_t *utcb) L4_NOTHROW;
277
301L4_INLINE void
303
308L4_INLINE void
309l4_thread_control_alien_u(l4_utcb_t *utcb, int on) L4_NOTHROW;
310
311
312
313
332
338l4_thread_control_commit_u(l4_cap_idx_t thread, l4_utcb_t *utcb) L4_NOTHROW;
339
348
359
365l4_thread_switch_u(l4_cap_idx_t to_thread, l4_utcb_t *utcb) L4_NOTHROW;
366
367
368
380
386l4_thread_stats_time_u(l4_cap_idx_t thread, l4_kernel_clock_t *us,
387 l4_utcb_t *utcb) L4_NOTHROW;
388
389
402
408l4_thread_vcpu_resume_start_u(l4_utcb_t *utcb) L4_NOTHROW;
409
460
466l4_thread_vcpu_resume_commit_u(l4_cap_idx_t thread,
467 l4_msgtag_t tag, l4_utcb_t *utcb) L4_NOTHROW;
468
469
491
501 l4_utcb_t *utcb) L4_NOTHROW;
502
536
546 l4_utcb_t *utcb) L4_NOTHROW;
547
548
574
580l4_thread_register_del_irq_u(l4_cap_idx_t thread, l4_cap_idx_t irq,
581 l4_utcb_t *utcb) L4_NOTHROW;
582
606
612l4_thread_modify_sender_start_u(l4_utcb_t *u) L4_NOTHROW;
613
638L4_INLINE int
640 l4_umword_t match,
641 l4_umword_t del_bits,
642 l4_umword_t add_bits,
644
649L4_INLINE int
650l4_thread_modify_sender_add_u(l4_umword_t match_mask,
651 l4_umword_t match,
652 l4_umword_t del_bits,
653 l4_umword_t add_bits,
655
683
689l4_thread_modify_sender_commit_u(l4_cap_idx_t thread, l4_msgtag_t tag,
691
692
716
722l4_thread_register_doorbell_irq_u(l4_cap_idx_t thread, l4_cap_idx_t irq,
724
725
750
772
791
804
805
806/* IMPLEMENTATION -----------------------------------------------------------*/
807
808#include <l4/sys/ipc.h>
809#include <l4/sys/types.h>
810
813 l4_umword_t flags, l4_utcb_t *utcb) L4_NOTHROW
814{
815 l4_msg_regs_t *v = l4_utcb_mr_u(utcb);
816 v->mr[0] = L4_THREAD_EX_REGS_OP | flags;
817 v->mr[1] = ip;
818 v->mr[2] = sp;
819 return l4_ipc_call(thread, utcb, l4_msgtag(L4_PROTO_THREAD, 3, 0, 0), L4_IPC_NEVER);
820}
821
824 l4_umword_t *flags, l4_utcb_t *utcb) L4_NOTHROW
825{
826 l4_msg_regs_t *v = l4_utcb_mr_u(utcb);
827 l4_msgtag_t ret = l4_thread_ex_regs_u(thread, *ip, *sp, *flags, utcb);
828 if (l4_error_u(ret, utcb))
829 return ret;
830
831 *flags = v->mr[0];
832 *ip = v->mr[1];
833 *sp = v->mr[2];
834 return ret;
835}
836
837L4_INLINE void
838l4_thread_control_start_u(l4_utcb_t *utcb) L4_NOTHROW
839{
840 l4_msg_regs_t *v = l4_utcb_mr_u(utcb);
842}
843
844L4_INLINE void
845l4_thread_control_pager_u(l4_cap_idx_t pager, l4_utcb_t *utcb) L4_NOTHROW
846{
847 l4_msg_regs_t *v = l4_utcb_mr_u(utcb);
850}
851
852L4_INLINE void
853l4_thread_control_exc_handler_u(l4_cap_idx_t exc_handler,
854 l4_utcb_t *utcb) L4_NOTHROW
855{
856 l4_msg_regs_t *v = l4_utcb_mr_u(utcb);
859}
860
861L4_INLINE void
862l4_thread_control_bind_u(l4_utcb_t *thread_utcb, l4_cap_idx_t task,
863 l4_utcb_t *utcb) L4_NOTHROW
864{
865 l4_msg_regs_t *v = l4_utcb_mr_u(utcb);
870}
871
872L4_INLINE void
873l4_thread_control_alien_u(l4_utcb_t *utcb, int on) L4_NOTHROW
874{
875 l4_msg_regs_t *v = l4_utcb_mr_u(utcb);
878}
879
881l4_thread_control_commit_u(l4_cap_idx_t thread, l4_utcb_t *utcb) L4_NOTHROW
882{
883 int items = 0;
885 items = 1;
886 return l4_ipc_call(thread, utcb, l4_msgtag(L4_PROTO_THREAD, 6, items, 0), L4_IPC_NEVER);
887}
888
889
892{
894 return l4_msgtag(0, 0, 0, 0);
895}
896
897/* Preliminary, to be changed */
899l4_thread_switch_u(l4_cap_idx_t to_thread, l4_utcb_t *utcb) L4_NOTHROW
900{
901 l4_msg_regs_t *v = l4_utcb_mr_u(utcb);
902 v->mr[0] = L4_THREAD_SWITCH_OP;
903 return l4_ipc_call(to_thread, utcb, l4_msgtag(L4_PROTO_THREAD, 1, 0, 0), L4_IPC_NEVER);
904}
905
906
908l4_thread_stats_time_u(l4_cap_idx_t thread, l4_kernel_clock_t *us,
909 l4_utcb_t *utcb) L4_NOTHROW
910{
911 l4_msg_regs_t *v = l4_utcb_mr_u(utcb);
912 l4_msgtag_t res;
913
914 v->mr[0] = L4_THREAD_STATS_OP;
915
916 res = l4_ipc_call(thread, utcb, l4_msgtag(L4_PROTO_THREAD, 1, 0, 0), L4_IPC_NEVER);
917
918 if (l4_msgtag_has_error(res))
919 return res;
920
921 *us = v->mr64[l4_utcb_mr64_idx(0)];
922
923 return res;
924}
925
927l4_thread_vcpu_resume_start_u(l4_utcb_t *utcb) L4_NOTHROW
928{
929 l4_msg_regs_t *v = l4_utcb_mr_u(utcb);
931 return l4_msgtag(L4_PROTO_THREAD, 1, 0, 0);
932}
933
935l4_thread_vcpu_resume_commit_u(l4_cap_idx_t thread,
937{
938 return l4_ipc_call(thread, utcb, tag, L4_IPC_NEVER);
939}
940
944{
945 return l4_thread_ex_regs_u(thread, ip, sp, flags, l4_utcb());
946}
947
950 l4_umword_t *flags) L4_NOTHROW
951{
952 return l4_thread_ex_regs_ret_u(thread, ip, sp, flags, l4_utcb());
953}
954
955L4_INLINE void
957{
958 l4_thread_control_start_u(l4_utcb());
959}
960
961L4_INLINE void
963{
964 l4_thread_control_pager_u(pager, l4_utcb());
965}
966
967L4_INLINE void
969{
970 l4_thread_control_exc_handler_u(exc_handler, l4_utcb());
971}
972
973
974L4_INLINE void
976{
977 l4_thread_control_bind_u(thread_utcb, task, l4_utcb());
978}
979
980L4_INLINE void
982{
983 l4_thread_control_alien_u(l4_utcb(), on);
984}
985
988{
989 return l4_thread_control_commit_u(thread, l4_utcb());
990}
991
992
993
994
997{
998 return l4_thread_switch_u(to_thread, l4_utcb());
999}
1000
1001
1002
1003
1006{
1007 return l4_thread_stats_time_u(thread, us, l4_utcb());
1008}
1009
1012{
1013 return l4_thread_vcpu_resume_start_u(l4_utcb());
1014}
1015
1019{
1020 return l4_thread_vcpu_resume_commit_u(thread, tag, l4_utcb());
1021}
1022
1023
1025l4_thread_register_del_irq_u(l4_cap_idx_t thread, l4_cap_idx_t irq,
1027{
1028 l4_msg_regs_t *m = l4_utcb_mr_u(u);
1030 m->mr[1] = l4_map_obj_control(0,0);
1031 m->mr[2] = l4_obj_fpage(irq, 0, L4_CAP_FPAGE_RWS).raw;
1032 return l4_ipc_call(thread, u, l4_msgtag(L4_PROTO_THREAD, 1, 1, 0), L4_IPC_NEVER);
1033
1034}
1035
1038{
1039 return l4_thread_register_del_irq_u(thread, irq, l4_utcb());
1040}
1041
1042
1045 l4_utcb_t *utcb) L4_NOTHROW
1046{
1047 l4_msg_regs_t *v = l4_utcb_mr_u(utcb);
1049 v->mr[1] = vcpu_state;
1050 return l4_ipc_call(thread, utcb, l4_msgtag(L4_PROTO_THREAD, 2, 0, 0), L4_IPC_NEVER);
1051}
1052
1055{ return l4_thread_vcpu_control_u(thread, vcpu_state, l4_utcb()); }
1056
1057
1060 l4_utcb_t *utcb) L4_NOTHROW
1061{
1062 l4_msg_regs_t *v = l4_utcb_mr_u(utcb);
1063 v->mr[0] = L4_THREAD_VCPU_CONTROL_EXT_OP;
1064 v->mr[1] = ext_vcpu_state;
1065 return l4_ipc_call(thread, utcb, l4_msgtag(L4_PROTO_THREAD, 2, 0, 0), L4_IPC_NEVER);
1066}
1067
1070{ return l4_thread_vcpu_control_ext_u(thread, ext_vcpu_state, l4_utcb()); }
1071
1073l4_thread_modify_sender_start_u(l4_utcb_t *u) L4_NOTHROW
1074{
1075 l4_msg_regs_t *m = l4_utcb_mr_u(u);
1077 return l4_msgtag(L4_PROTO_THREAD, 1, 0, 0);
1078}
1079
1080L4_INLINE int
1081l4_thread_modify_sender_add_u(l4_umword_t match_mask,
1082 l4_umword_t match,
1083 l4_umword_t del_bits,
1084 l4_umword_t add_bits,
1086{
1087 l4_msg_regs_t *m = l4_utcb_mr_u(u);
1088 unsigned w = l4_msgtag_words(*tag);
1089 if (w >= L4_UTCB_GENERIC_DATA_SIZE - 4)
1090 return -L4_ENOMEM;
1091
1092 m->mr[w] = match_mask;
1093 m->mr[w+1] = match;
1094 m->mr[w+2] = del_bits;
1095 m->mr[w+3] = add_bits;
1096
1097 *tag = l4_msgtag(l4_msgtag_label(*tag), w + 4, 0, 0);
1098
1099 return 0;
1100}
1101
1103l4_thread_modify_sender_commit_u(l4_cap_idx_t thread, l4_msgtag_t tag,
1105{
1106 return l4_ipc_call(thread, u, tag, L4_IPC_NEVER);
1107}
1108
1111{
1112 return l4_thread_modify_sender_start_u(l4_utcb());
1113}
1114
1115L4_INLINE int
1117 l4_umword_t match,
1118 l4_umword_t del_bits,
1119 l4_umword_t add_bits,
1121{
1122 return l4_thread_modify_sender_add_u(match_mask, match,
1123 del_bits, add_bits, tag, l4_utcb());
1124}
1125
1128{
1129 return l4_thread_modify_sender_commit_u(thread, tag, l4_utcb());
1130}
1131
1132
1134l4_thread_register_doorbell_irq_u(l4_cap_idx_t thread, l4_cap_idx_t irq,
1136{
1137 l4_msg_regs_t *m = l4_utcb_mr_u(u);
1139 m->mr[1] = l4_map_obj_control(0,0);
1140 m->mr[2] = l4_obj_fpage(irq, 0, L4_CAP_FPAGE_RWS).raw;
1141 return l4_ipc_call(thread, u, l4_msgtag(L4_PROTO_THREAD, 1, 1, 0),
1142 L4_IPC_NEVER);
1143}
1144
1148{
1149 return l4_thread_register_doorbell_irq_u(thread, irq, l4_utcb());
1150}
unsigned long l4_umword_t
Unsigned machine word.
Definition l4int.h:40
unsigned long l4_addr_t
Address type.
Definition l4int.h:34
l4_uint64_t l4_kernel_clock_t
Kernel clock type.
Definition l4int.h:53
unsigned long l4_cap_idx_t
Capability selector type.
Definition types.h:335
@ L4_INVALID_CAP
Invalid capability selector.
Definition consts.h:153
@ L4_ENOMEM
No memory.
Definition err.h:39
l4_fpage_t l4_obj_fpage(l4_cap_idx_t obj, unsigned int order, unsigned char rights) L4_NOTHROW
Create a kernel-object flexpage.
Definition __l4_fpage.h:715
@ L4_CAP_FPAGE_RWS
Read, interface specific 'W', and 'S' rights for capability flexpages.
Definition __l4_fpage.h:206
l4_msgtag_t l4_ipc_receive(l4_cap_idx_t object, l4_utcb_t *utcb, l4_timeout_t timeout) L4_NOTHROW
Wait for a message from a specific source.
Definition ipc.h:602
l4_msgtag_t l4_ipc_call(l4_cap_idx_t object, l4_utcb_t *utcb, l4_msgtag_t tag, l4_timeout_t timeout) L4_NOTHROW
Object call (usual invocation).
Definition ipc.h:565
l4_umword_t l4_map_obj_control(l4_umword_t spot, unsigned grant) L4_NOTHROW
Create the first word for a map item that is a send item for the object space.
Definition __l4_fpage.h:749
@ L4_ITEM_MAP
Identify a message item as map item.
Definition consts.h:214
unsigned l4_msgtag_has_error(l4_msgtag_t t) L4_NOTHROW
Test for error indicator flag.
Definition types.h:439
l4_msgtag_t l4_msgtag(long label, unsigned words, unsigned items, unsigned flags) L4_NOTHROW
Create a message tag from the specified values.
Definition types.h:404
unsigned l4_msgtag_words(l4_msgtag_t t) L4_NOTHROW
Get the number of untyped words.
Definition types.h:426
long l4_msgtag_label(l4_msgtag_t t) L4_NOTHROW
Get the protocol of tag.
Definition types.h:416
@ L4_PROTO_THREAD
Protocol for messages to a thread object.
Definition types.h:53
L4_thread_ops
Operations on thread objects.
Definition thread.h:733
@ L4_THREAD_OPCODE_MASK
Mask for opcodes.
Definition thread.h:748
@ L4_THREAD_AMD64_GET_SEGMENT_INFO_OP
Get segment information.
Definition thread.h:747
@ L4_THREAD_REGISTER_DOORBELL_IRQ_OP
Register direct IRQ injection doorbell IRQ.
Definition thread.h:743
@ L4_THREAD_AMD64_SET_SEGMENT_BASE_OP
Set segment base.
Definition thread.h:746
@ L4_THREAD_X86_GDT_OP
Gdt.
Definition thread.h:744
@ L4_THREAD_EX_REGS_OP
Exchange registers operation.
Definition thread.h:735
@ L4_THREAD_STATS_OP
Thread statistics.
Definition thread.h:737
@ L4_THREAD_VCPU_CONTROL_OP
Enable / disable VCPU feature.
Definition thread.h:741
@ L4_THREAD_MODIFY_SENDER_OP
Modify all senders IDs that match the given pattern.
Definition thread.h:740
@ L4_THREAD_CONTROL_OP
Control operation.
Definition thread.h:734
@ L4_THREAD_ARM_TPIDRURO_OP
Set TPIDRURO register.
Definition thread.h:745
@ L4_THREAD_VCPU_RESUME_OP
VCPU resume.
Definition thread.h:738
@ L4_THREAD_REGISTER_DELETE_IRQ_OP
Register an IPC-gate deletion IRQ.
Definition thread.h:739
@ L4_THREAD_SWITCH_OP
Do a thread switch.
Definition thread.h:736
l4_msgtag_t l4_thread_modify_sender_start(void) L4_NOTHROW
Start a thread sender modification sequence.
Definition thread.h:1110
l4_msgtag_t l4_thread_vcpu_control_ext_u(l4_cap_idx_t thread, l4_addr_t ext_vcpu_state, l4_utcb_t *utcb) L4_NOTHROW
Enable the extended vCPU feature for the thread.
Definition thread.h:1059
l4_msgtag_t l4_thread_ex_regs(l4_cap_idx_t thread, l4_addr_t ip, l4_addr_t sp, l4_umword_t flags) L4_NOTHROW
Exchange basic thread registers.
Definition thread.h:942
L4_thread_ex_regs_flags
Flags for the thread ex-regs operation.
Definition thread.h:798
int l4_thread_modify_sender_add(l4_umword_t match_mask, l4_umword_t match, l4_umword_t del_bits, l4_umword_t add_bits, l4_msgtag_t *tag) L4_NOTHROW
Add a modification pattern to a sender modification sequence.
Definition thread.h:1116
l4_msgtag_t l4_thread_vcpu_control_ext(l4_cap_idx_t thread, l4_addr_t ext_vcpu_state) L4_NOTHROW
Enable the extended vCPU feature for the thread.
Definition thread.h:1069
l4_msgtag_t l4_thread_ex_regs_ret_u(l4_cap_idx_t thread, l4_addr_t *ip, l4_addr_t *sp, l4_umword_t *flags, l4_utcb_t *utcb) L4_NOTHROW
Exchange basic thread registers and return previous values.
Definition thread.h:823
l4_msgtag_t l4_thread_yield(void) L4_NOTHROW
Yield current time slice.
Definition thread.h:891
l4_msgtag_t l4_thread_vcpu_resume_start(void) L4_NOTHROW
vCPU return from event handler.
Definition thread.h:1011
L4_thread_control_flags
Flags for the thread control operation.
Definition thread.h:762
l4_msgtag_t l4_thread_ex_regs_ret(l4_cap_idx_t thread, l4_addr_t *ip, l4_addr_t *sp, l4_umword_t *flags) L4_NOTHROW
Exchange basic thread registers and return previous values.
Definition thread.h:949
l4_msgtag_t l4_thread_stats_time(l4_cap_idx_t thread, l4_kernel_clock_t *us) L4_NOTHROW
Get consumed time of thread in µs.
Definition thread.h:1005
l4_msgtag_t l4_thread_vcpu_control_u(l4_cap_idx_t thread, l4_addr_t vcpu_state, l4_utcb_t *utcb) L4_NOTHROW
Enable the vCPU feature for the thread.
Definition thread.h:1044
l4_msgtag_t l4_thread_ex_regs_u(l4_cap_idx_t thread, l4_addr_t ip, l4_addr_t sp, l4_umword_t flags, l4_utcb_t *utcb) L4_NOTHROW
Exchange basic thread registers.
Definition thread.h:812
l4_msgtag_t l4_thread_register_del_irq(l4_cap_idx_t thread, l4_cap_idx_t irq) L4_NOTHROW
Register an IRQ that will trigger upon deletion events.
Definition thread.h:1037
l4_msgtag_t l4_thread_vcpu_resume_commit(l4_cap_idx_t thread, l4_msgtag_t tag) L4_NOTHROW
Commit vCPU resume.
Definition thread.h:1017
l4_msgtag_t l4_thread_modify_sender_commit(l4_cap_idx_t thread, l4_msgtag_t tag) L4_NOTHROW
Apply (commit) a sender modification sequence.
Definition thread.h:1127
l4_msgtag_t l4_thread_register_doorbell_irq(l4_cap_idx_t thread, l4_cap_idx_t irq) L4_NOTHROW
Register an IRQ that will trigger when a forwarded virtual interrupt is pending.
Definition thread.h:1146
l4_msgtag_t l4_thread_switch(l4_cap_idx_t to_thread) L4_NOTHROW
Switch to another thread (and donate the remaining time slice).
Definition thread.h:996
l4_msgtag_t l4_thread_vcpu_control(l4_cap_idx_t thread, l4_addr_t vcpu_state) L4_NOTHROW
Enable the vCPU feature for the thread.
Definition thread.h:1054
L4_thread_control_mr_indices
Indices for the values in the message register for thread control.
Definition thread.h:783
@ L4_THREAD_EX_REGS_CANCEL
Cancel ongoing IPC in the thread.
Definition thread.h:799
@ L4_THREAD_EX_REGS_ARCH_MASK
Arch specific flags.
Definition thread.h:802
@ L4_THREAD_EX_REGS_TRIGGER_EXCEPTION
Trigger artificial exception in thread.
Definition thread.h:800
@ L4_THREAD_CONTROL_SET_PAGER
The pager will be given.
Definition thread.h:764
@ L4_THREAD_CONTROL_BIND_TASK
The task to bind the thread to will be given.
Definition thread.h:766
@ L4_THREAD_CONTROL_ALIEN
Alien state of the thread is set.
Definition thread.h:768
@ L4_THREAD_CONTROL_SET_EXC_HANDLER
The exception handler of the thread will be given.
Definition thread.h:770
@ L4_THREAD_CONTROL_MR_IDX_FLAG_VALS
Index for feature values.
Definition thread.h:787
@ L4_THREAD_CONTROL_MR_IDX_PAGER
Index for pager cap.
Definition thread.h:785
@ L4_THREAD_CONTROL_MR_IDX_BIND_TASK
Index for task flexpage for bind.
Definition thread.h:789
@ L4_THREAD_CONTROL_MR_IDX_EXC_HANDLER
Index for exception handler.
Definition thread.h:786
@ L4_THREAD_CONTROL_MR_IDX_FLAGS
Definition thread.h:784
@ L4_THREAD_CONTROL_MR_IDX_BIND_UTCB
Index for UTCB address for bind.
Definition thread.h:788
void l4_thread_control_bind(l4_utcb_t *thread_utcb, l4_cap_idx_t task) L4_NOTHROW
Bind the thread to a task.
Definition thread.h:975
l4_msgtag_t l4_thread_control_commit(l4_cap_idx_t thread) L4_NOTHROW
Commit the thread control parameters.
Definition thread.h:987
void l4_thread_control_alien(int on) L4_NOTHROW
Enable alien mode.
Definition thread.h:981
void l4_thread_control_exc_handler(l4_cap_idx_t exc_handler) L4_NOTHROW
Set the exception handler.
Definition thread.h:968
void l4_thread_control_start(void) L4_NOTHROW
Start a thread control API sequence.
Definition thread.h:956
void l4_thread_control_pager(l4_cap_idx_t pager) L4_NOTHROW
Set the pager.
Definition thread.h:962
unsigned l4_utcb_mr64_idx(unsigned idx) L4_NOTHROW
Get index into 64bit message registers alias from native-sized index.
Definition utcb.h:392
#define L4_IPC_BOTH_TIMEOUT_0
0 receive and send timeout
Definition __timeout.h:79
#define L4_IPC_NEVER
never timeout
Definition __timeout.h:76
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
Definition utcb.h:56
l4_utcb_t * l4_utcb(void) L4_NOTHROW L4_PURE
Get the UTCB address.
Definition utcb.h:346
#define L4_NOTHROW
Mark a function declaration and definition as never throwing an exception.
Definition compiler.h:159
#define L4_INLINE
L4 Inline function attribute.
Definition compiler.h:51
Common L4 ABI Data Types.
Message tag data structure.
Definition types.h:153
l4_umword_t raw
Raw value.
Definition __l4_fpage.h:78
Encapsulation of the message-register block in the UTCB.
Definition utcb.h:68
l4_umword_t mr[L4_UTCB_GENERIC_DATA_SIZE]
Message registers.
Definition utcb.h:69
l4_uint64_t mr64[L4_UTCB_GENERIC_DATA_SIZE/(sizeof(l4_uint64_t)/sizeof(l4_umword_t))]
Message registers 64bit alias.
Definition utcb.h:70