include stdint import fixed-width integer types Kernel include kernel

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
#include <stdint.h> /* import: fixed-width integer types */
/* Kernel */
#include <kernel.h> /* import: OK, SYSERR, kernel types */
#include <misc.h> /* import: bzero */
#include <environ.h> /* import: kgetenv, ksetenv, pre_ksetenv */
#include <bsp.h> /* export: BSP interface routines */
#include <globmem.h> /* import: perlimit */
/* CSP */
#include <csp_init.h> /* import: struct l_csp */
/* BSP */
#include <board.h> /* import: CPR definitions */
#include <bsp_environ.h> /* import: BSP environment variable names */
#include <bsp_init.h> /* import: struct l_bsp */
/* Debug */
#include <debugdef.h> /* import: debug() macro */
#ifdef VMOS_DEV
#include <kprintf.h> /* import: kkprintf */
#endif
/*------------------------ MACRO DEFINITIONS -------------------------*/
/*
** The following macro aligns the address 'p' to a 32-bit boundary.
*/
#define __ALIGN32(p) (((p)+31) & ~31)
/*----------------------- FUNCTION DEFINITIONS ------------------------*/
/*****************************************************************************
** IMPORTS / FORWARD decls.
*/
static int get_firmware_env_post(struct l_vars *);
static void set_kenv_variable(char *name, void *value);
/*
** These functions go into special sections (see bsp.h)
*/
static int get_fi