app.h

Go to the documentation of this file.

/* (c) 2003 Technische Universitaet Dresden
 * This file is part of DROPS, which is distributed under the terms of the
 * GNU General Public License 2. Please see the COPYING file for details. */

#ifndef __APP_H_
#define __APP_H_

#include <l4/sys/types.h>
#include <l4/l4rm/l4rm.h>

#include "cfg.h"
#include "debug.h"
#ifdef USE_INTEGRITY
#include "integrity-types.h"
#endif

#define MAX_APP_AREA    28              
#define DEFAULT_PRIO    0x10            
#define DEFAULT_MCP     0xff            
typedef struct
{
  l4_addr_t             here;           
  l4_addr_t             app;            
} app_addr_t;

typedef struct
{
  app_addr_t            beg;            
  l4_size_t             size;           
  l4_uint16_t           type;           
  l4_uint16_t           flags;          
#define APP_AREA_VALID  0x0001          
#define APP_AREA_PAGE   0x0002          
#define APP_AREA_MMIO   0x0004          
#define APP_AREA_NOSUP  0x0008          
  l4dm_dataspace_t      ds;             
  const char            *dbg_name;
} app_area_t;

typedef struct
{
  l4_threadid_t         tid;            
  unsigned int    taskno; 
  int                   hi_first_msg;   
  l4env_infopage_t      *env;           
  app_area_t            app_area[MAX_APP_AREA]; 
  int                   app_area_next_free;     
  char                  *iobitmap;      
  const char            *fname;         
  const char            *name;          
  l4_addr_t             eip, esp;
  l4_uint32_t           flags;          
#define APP_MODE_SIGMA0 0x00000001      
#define APP_MODE_INTERP 0x00000004      
#define APP_DIRECTMAP   0x00000008      
#define APP_SYMBOLS     0x00000010      
#define APP_LINES       0x00000020      
#define APP_ALLOW_KILL  0x00000040  
#define APP_ALLOW_VGA   0x00000080      
#define APP_NOSIGMA0    0x00000100      
#define APP_ALLOW_CLI   0x00000200      
#define APP_SHOW_AREAS  0x00000400      
#define APP_STOP        0x00000800      
#define APP_CONT        0x00001000      
#define APP_NOSUPER     0x00002000      
#define APP_ALL_WRITBLE 0x00004000      
#define APP_ALLOW_BIOS  0x00008000      
#define APP_MSG_IO      0x00010000      
#define APP_HASH_BINARY 0x00020000      
  l4_addr_t             image;          
  l4_size_t             sz_image;       
  l4dm_dataspace_t      ds_image;       
  l4_addr_t             symbols;        
  l4_size_t             sz_symbols;     
  l4dm_dataspace_t      ds_symbols;     
  l4_addr_t             lines;          
  l4_size_t             sz_lines;       
  l4dm_dataspace_t      ds_lines;       
  l4_addr_t             last_pf;        
  l4_addr_t             last_pf_eip;    
  l4_uint32_t           prio;           
  l4_uint32_t           mcp;            
  l4_taskid_t           owner;          
  l4_threadid_t         caphandler;     
  cfg_cap_t             *caplist;       
#ifdef USE_INTEGRITY
  integrity_hash_t      integrity_hash;
#endif
  cfg_kquota_t          *kquota;        
} app_t;

#define HERE_TO_APP(addr, base) \
  (base).app + (((l4_addr_t)(addr) - (base).here))

app_t* task_to_app(l4_threadid_t tid);
int  create_app_desc(app_t **new_app);

void __attribute__ ((format (printf, 2, 3)))
     app_msg(app_t *app, const char *format, ...);

void app_list_addr(app_t *app);
int  app_boot(cfg_task_t *ct, l4_taskid_t owner);
int  app_cont(app_t *app);
int  app_kill(l4_taskid_t task_id, l4_taskid_t caller);
int  app_dump(unsigned long task_id);
int  app_info(unsigned long task_id, l4dm_dataspace_t *l4env_ds,
              l4_threadid_t client, char **fname);

void app_share_sections_with_client(app_t *app, l4_threadid_t client);
int  init_infopage(l4env_infopage_t *env);

int  app_attach_ds_to_pager(app_t *app, l4dm_dataspace_t *ds, l4_addr_t addr,
                            l4_size_t size, l4_uint16_t type,
                            l4_uint32_t rights,
                            const char *dbg_name, app_area_t **aa);

#endif

---