mirror of
https://github.com/drasko/codezero.git
synced 2026-01-12 10:53: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.
20 lines
425 B
C
20 lines
425 B
C
/*
|
|
* Stack space helper routines.
|
|
*
|
|
* Copyright (C) 2009 B Labs Ltd.
|
|
*/
|
|
#ifndef __LIB_STACK_H__
|
|
#define __LIB_STACK_H__
|
|
|
|
/* Checks if l4_set_stack_params is called. */
|
|
#define IS_STACK_SETUP() (lib_stack_size)
|
|
|
|
int stack_pool_init(unsigned long stack_start,
|
|
unsigned long stack_end,
|
|
unsigned long stack_size);
|
|
|
|
void *get_stack_space(void);
|
|
int delete_stack_space(void *stack_address);
|
|
|
|
#endif /* __LIB_STACK_H__ */
|