__kip-64bit.h

 
/*
 * (c) 2008-2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
 *               Alexander Warg <warg@os.inf.tu-dresden.de>,
 *               Björn Döbel <doebel@os.inf.tu-dresden.de>,
 *               Frank Mehnert <fm3@os.inf.tu-dresden.de>,
 *               Torsten Frenzel <frenzel@os.inf.tu-dresden.de>
 *     economic rights: Technische Universität Dresden (Germany)
 *
 * This file is part of TUD:OS and distributed under the terms of the
 * GNU General Public License 2.
 * Please see the COPYING-GPL-2 file for details.
 *
 * As a special exception, you may use this file as part of a free software
 * library without restriction.  Specifically, if other files instantiate
 * templates or use macros or inline functions from this file, or you compile
 * this file and link it with other files to produce an executable, this
 * file does not by itself cause the resulting executable to be covered by
 * the GNU General Public License.  This exception does not however
 * invalidate any other reasons why the executable file might be covered by
 * the GNU General Public License.
 */
#pragma once
 
#include <l4/sys/types.h>
 
typedef struct l4_kernel_info_t
{
  /* offset 0x00 */
  l4_uint64_t            magic;               
  l4_uint64_t            version;             
  l4_uint8_t             offset_version_strings; 
  l4_uint8_t             fill2[7];            
  l4_uint8_t             kip_sys_calls;       
  l4_uint8_t             node;
  l4_uint8_t             fill3[6];            
 
  /* the following stuff is undocumented; we assume that the kernel
     info page is located at offset 0x1000 into the L4 kernel boot
     image so that these declarations are consistent with section 2.9
     of the L4 Reference Manual */
 
  /* offset 0x20 */
  /* Kernel debugger */
  l4_umword_t            scheduler_granularity; 
  l4_umword_t            _res00[3];           
 
  /* offset 0x40 */
  /* Sigma0 */
  l4_umword_t            sigma0_esp;          
  l4_umword_t            sigma0_eip;          
  l4_umword_t            _res01[2];           
 
  /* offset 0x60 */
  /* Sigma1 */
  l4_umword_t            sigma1_esp;          
  l4_umword_t            sigma1_eip;          
  l4_umword_t            _res02[2];           
 
  /* offset 0x80 */
  /* Root task */
  l4_umword_t            root_esp;            
  l4_umword_t            root_eip;            
  l4_umword_t            _res03[2];           
 
  /* offset 0xA0 */
  /* L4 configuration */
  l4_umword_t            _res_a0[1];          
  l4_umword_t            mem_info;            
  l4_umword_t            _res_b0[2];          
 
  /* offset 0xC0 */
  l4_umword_t            _res04[16];          
 
  /* offset 0x140 */
  volatile l4_cpu_time_t _clock_val;          
  l4_umword_t            _res05[1];           
  l4_umword_t            frequency_cpu;       
  l4_umword_t            frequency_bus;       
 
  /* offset 0x160 */
  l4_umword_t            _res06[12];          
 
  /* offset 0x1C0 */
  l4_umword_t    user_ptr;            
  l4_umword_t    vhw_offset;          
  l4_umword_t            _res07[2];
 
  /* offset 0x1E0 */
  struct l4_kip_platform_info    platform_info;
} l4_kernel_info_t;