loader.idl

Go to the documentation of this file.

/* $Id: loader.idl 28256 2007-04-06 14:30:31Z adam $ */
/* (c) 2003-2007 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. */

import <l4/sys/types.h>
import <l4/dm_generic/types.h>

typedef long envpage_t[563];

library l4loader
{
  const int MAX_TASK_ID = 16;

  interface app
    {
      long open([in] l4dm_dataspace_t img_ds,
                [in, string] char* fname,
                [in] l4_threadid_t fprov,
                [in] unsigned long flags,
                [out, max_is(MAX_TASK_ID)] l4_taskid_t task_ids[],
                [out, string, prealloc_client] char** error_msg);

      long cont([in] l4_taskid_t taskid);

      long kill([in] l4_taskid_t task_id, [in] unsigned long flags);

      long dump([in] unsigned long task_id, [in] unsigned long flags);

      long info([in] unsigned long task_id, [in] unsigned long flags,
                [out, string, prealloc_client] char** fname, 
                [out] l4dm_dataspace_t *l4env_page);
    };
};

---