l4_utcb_ex_regs_args Struct Reference
[UTCB functionality for amd64, UTCB functionality for arm, UTCB functionality for x86]

UTCB structure for l4_thread_ex_regs arguments. More...

#include <utcb.h>

Data Fields
l4_threadid_t	_res0
	reserved
l4_threadid_t	caphandler
	Capability handler.
l4_threadid_t	_res1
	reserved

---

Detailed Description

UTCB structure for l4_thread_ex_regs arguments.

Definition at line 23 of file ARCH-amd64/utcb.h.

---

The documentation for this struct was generated from the following files:

• ARCH-amd64/utcb.h
• ARCH-arm/utcb.h
• ARCH-x86/utcb.h