env.h

/* $Id: env.h 31603 2008-05-12 06:54:17Z adam $ */
/*****************************************************************************/
/*****************************************************************************/
#ifndef _L4_ENV_ENV_H
#define _L4_ENV_ENV_H

/* L4/L4Env includes */
#include <l4/sys/types.h>
#include <l4/env/cdefs.h>
#include <l4/env/system.h>
#include <l4/dm_generic/types.h>

/*****************************************************************************
 *** environment info page
 *****************************************************************************/

#define L4ENV_MAXSECT   64              
#define L4ENV_MAXPATH   256             


typedef struct
{
  l4_uint32_t           major_id;       
  l4_uint32_t           minor_id;       
  l4_uint8_t            arch_data;      
  l4_uint8_t            arch_class;     
  l4_uint16_t           arch;           
  l4_uint32_t           flags;          
} l4env_version_info_t;

/* flags for the type field */

#define L4_DSTYPE_READ          0x0001

#define L4_DSTYPE_WRITE         0x0002

#define L4_DSTYPE_EXECUTE       0x0004

#define L4_DSTYPE_RELOCME       0x0008

#define L4_DSTYPE_LINKME        0x0010

#define L4_DSTYPE_PAGEME        0x0020

#define L4_DSTYPE_RESERVEME     0x0040

#define L4_DSTYPE_SHARE         0x0080

#define L4_DSTYPE_OBJ_BEGIN     0x0100

#define L4_DSTYPE_OBJ_END       0x0200

#define L4_DSTYPE_ERRLINK       0x0400

#define L4_DSTYPE_STARTUP       0x0800

#define L4_DSTYPE_APP_IS_OWNER  0x1000

#define L4_DSTYPE_EXEC_IS_OWNER 0x2000

#define L4ENV_INFOPAGE_MAGIC 0x7634456e

typedef struct
{
  unsigned              id:16;          
  unsigned              type:16;        
} l4exec_info_t;

typedef struct
{
  l4_addr_t             addr;           
  l4_size_t             size;           
  l4dm_dataspace_t      ds;             
  l4exec_info_t info;                   
} l4exec_section_t;

typedef struct
{
  int           has_x86_vga : 1;        
  int           has_x86_bios : 1;       
  int           hash_dyn_libs : 1;      
} l4env_loader_info_t;

typedef struct
{
  /* system information provided by the loader */
  l4env_system_info_t   sys_info;               
  l4env_version_info_t  ver_info;               
  l4_uint32_t           num_threads;            
  l4_uint32_t           stack_size;             
  l4_addr_t             vm_low;                 
  l4_addr_t             vm_high;                

  l4_threadid_t         names_id;               
  l4_threadid_t         memserv_id;             
  l4_threadid_t         taskserv_id;            
  l4_threadid_t         fprov_id;               
  l4_threadid_t         loader_id;              
  l4_threadid_t         parent_id;              

  /* these entries are provided by the loader to define which dataspace
   * manager should be used for getting memory for a specific section */
  l4_threadid_t         image_dm_id;            
  l4_threadid_t         text_dm_id;             
  l4_threadid_t         data_dm_id;             
  l4_threadid_t         stack_dm_id;            
  l4_addr_t             entry_1st;              
  l4_addr_t             entry_2nd;              

  /* these entries are filled by the execution layer server */
  int                   section_num;            
  l4exec_section_t      section[L4ENV_MAXSECT]; 

  /* relocating addresses for libraries which are need fixed addresses
   * (libloader and libl4rm), because the l4rm can't page itself before
   * it's pager thread is started. */
  l4_addr_t             addr_libloader;         

  l4_addr_t             stack_low;              
  l4_addr_t             stack_high;             

  /* default path for loading binary objects if no path is given */
  char                  binpath[L4ENV_MAXPATH]; 
  char                  libpath[L4ENV_MAXPATH]; 

  l4_addr_t             addr_mb_info;           

  /* the following fields are used by the ld-l4.s.so interpreter */
  l4_addr_t             interp;                 
  l4_addr_t             phdr;                   
  l4_uint32_t           phnum;                  
  int                   num_init_fn;
  l4_addr_t             init_fn[64];            

  l4env_loader_info_t   loader_info;            

  l4_uint32_t           magic;                  
} l4env_infopage_t;


/*****************************************************************************
 *** request environment configuration
 *****************************************************************************/

/* keys */
#define L4ENV_MEMORY_SERVER         0x00000001   
#define L4ENV_TASK_SERVER           0x00000002   
#define L4ENV_NAME_SERVER           0x00000003   
#define L4ENV_FPROV_SERVER          0x00000004   
#define L4ENV_SIGMA0                0x00000005   

#define L4ENV_MAX_THREADS           0x00000010   
#define L4ENV_DEFAULT_STACK_SIZE    0x00000011   
#define L4ENV_MAX_STACK_SIZE        0x00000012   
#define L4ENV_DEFAULT_PRIO          0x00000013   
#define L4ENV_VM_LOW                0x00000014   
#define L4ENV_VM_HIGH               0x00000015   

__BEGIN_DECLS;

/*****************************************************************************/
/*****************************************************************************/
L4_CV int
l4env_request_service(l4_uint32_t key,
                      l4_threadid_t * service);

/*****************************************************************************/
/*****************************************************************************/
L4_CV int
l4env_request_config_u32(l4_uint32_t key,
                         l4_addr_t * cfg);

/*****************************************************************************/
/*****************************************************************************/
L4_CV int
l4env_request_config_string(l4_uint32_t key,
                            char * str,
                            int max_len);

/*****************************************************************************/
/*****************************************************************************/
L4_CV l4env_infopage_t *
l4env_get_infopage(void);

/*****************************************************************************/
/*****************************************************************************/
L4_CV void
l4env_set_sigma0_id(l4_threadid_t id);

/*****************************************************************************/
/*****************************************************************************/
L4_CV void
l4env_set_default_dsm(l4_threadid_t id);

/*****************************************************************************/
/*****************************************************************************/
L4_CV l4_threadid_t
l4env_get_default_dsm(void);

/*****************************************************************************/
/*****************************************************************************/
L4_CV l4_threadid_t
l4env_get_parent(void);

/*****************************************************************************/
/*****************************************************************************/
L4_CV unsigned
l4env_startup_done(void);

__END_DECLS;

#endif /* _L4_ENV_ENV_H */

---