l4/pkg/ldscripts/kip_addr.c

   1 typedef unsigned long l4_umword_t;
   2
   3 typedef struct l4re_elf_aux_mword_t
   4 {
   5   l4_umword_t type;
   6   l4_umword_t length;
   7   l4_umword_t value;
   8 } l4re_elf_aux_mword_t;
   9
  10 extern char const __L4_KIP_ADDR__[];
  11
  12 static __attribute__((used, section(".rol4re_elf_aux"))) l4re_elf_aux_mword_t const kip_addr
  13   = { 4, sizeof(l4re_elf_aux_mword_t), (l4_umword_t)__L4_KIP_ADDR__ };
  14