15 lines
365 B
C
15 lines
365 B
C
typedef unsigned long l4_umword_t;
|
|
|
|
typedef struct l4re_elf_aux_mword_t
|
|
{
|
|
l4_umword_t type;
|
|
l4_umword_t length;
|
|
l4_umword_t value;
|
|
} l4re_elf_aux_mword_t;
|
|
|
|
extern char const __L4_KIP_ADDR__[];
|
|
|
|
static __attribute__((used, section(".rol4re_elf_aux"))) l4re_elf_aux_mword_t const kip_addr
|
|
= { 4, sizeof(l4re_elf_aux_mword_t), (l4_umword_t)__L4_KIP_ADDR__ };
|
|
|