mirror of
https://github.com/drasko/codezero.git
synced 2026-01-13 03:13:15 +01:00
ede050ad37
This is one of the steps we need in the process of providing a similar interface for thread creation which can be found in the mainstream operating systems like Linux.
26 lines
538 B
C
26 lines
538 B
C
/*
|
|
* UTCB handling helper routines
|
|
*
|
|
* Copyright (C) 2009 B Labs Ltd.
|
|
*/
|
|
#ifndef __UTCB_H__
|
|
#define __UTCB_H__
|
|
|
|
#include <l4/lib/list.h>
|
|
|
|
struct utcb_desc {
|
|
struct link list;
|
|
unsigned long utcb_base;
|
|
struct id_pool *slots;
|
|
};
|
|
|
|
int utcb_pool_init(unsigned long utcb_start, unsigned long utcb_end);
|
|
|
|
unsigned long utcb_new_slot(struct utcb_desc *desc);
|
|
int utcb_delete_slot(struct utcb_desc *desc, unsigned long address);
|
|
|
|
struct utcb_desc *utcb_new_desc(void);
|
|
int utcb_delete_desc(struct utcb_desc *desc);
|
|
|
|
#endif /* __UTCB_H__ */
|