mirror of
https://github.com/drasko/codezero.git
synced 2026-01-12 10:53:16 +01:00
7a81db8782
Added setting of utcb address to l4_thread_control. This is going to be moved to exchange_registers() since we need to pass both the utcb physical and virtual address and exregs fits such context modification better than thread_control.
15 lines
352 B
C
15 lines
352 B
C
#ifndef __L4_THREAD_H__
|
|
#define __L4_THREAD_H__
|
|
|
|
#include <libl4/arch/utcb.h>
|
|
#include <libl4/arch/types.h>
|
|
|
|
struct l4_thread_struct {
|
|
l4id_t tlid; /* Thread local id */
|
|
struct task_ids ids; /* Thread L4-defined ids */
|
|
struct utcb *utcb; /* Thread utcb */
|
|
unsigned long stack_start; /* Thread start of stack */
|
|
};
|
|
|
|
#endif /* __L4_THREAD_H__ */
|