mirror of
https://github.com/drasko/codezero.git
synced 2026-01-15 04:13:16 +01:00
877b2cedc7
A 16-bit device number or id further distinguishes a device on the system in addition to the device type. This is meant to be used for the very first identification of the device for further probing. Any further info is available by userspace mapping and probing.
23 lines
422 B
C
23 lines
422 B
C
/*
|
|
* Copyright (C) 2007 Bahadir Balban
|
|
*/
|
|
#ifndef __UTCB_H__
|
|
#define __UTCB_H__
|
|
|
|
#include <l4lib/types.h>
|
|
#include <l4lib/arch/utcb.h>
|
|
|
|
int utcb_init(void);
|
|
|
|
/* Bora start */
|
|
#include <l4lib/tcb.h>
|
|
|
|
/* Checks if l4_set_stack_params is called. */
|
|
#define IS_UTCB_SETUP() (lib_utcb_range_size)
|
|
|
|
unsigned long get_utcb_addr(struct tcb *task);
|
|
int delete_utcb_addr(struct tcb *task);
|
|
/* Bora end */
|
|
|
|
#endif /* __UTCB_H__ */
|