L4Re Operating System Framework
Interface and Usage Documentation
All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
l4mod.h
Go to the documentation of this file.
1/*
2 * Copyright (C) 2021-2022, 2024 Kernkonzept GmbH.
3 * Author(s): Adam Lackorzynski <adam@l4re.org>
4 *
5 * License: see LICENSE.spdx (in this directory or the directories above)
6 */
7
12#pragma once
13
14#include <l4/sys/l4int.h>
15
25
34
unsigned int l4_uint32_t
Unsigned 32bit value.
Definition l4int.h:29
unsigned long long l4_uint64_t
Unsigned 64bit value.
Definition l4int.h:31
l4util_l4mod_mod_info_flag
Flags for l4util_l4mod_mod.flags.
Definition l4mod.h:18
@ L4util_l4mod_mod_flag_unspec
Flag for a generic module.
Definition l4mod.h:19
@ L4util_l4mod_mod_flag_roottask
Flag for the root task module.
Definition l4mod.h:22
@ L4util_l4mod_mod_flag_kernel
Flag for the kernel module.
Definition l4mod.h:20
@ L4util_l4mod_mod_flag_sigma0
Flag for the sigma0 module.
Definition l4mod.h:21
@ L4util_l4mod_mod_flag_mask
Mask for specified flags.
Definition l4mod.h:23
Base module structure.
Definition l4mod.h:37
l4_uint64_t vbe_mode_info
VESA video mode info.
Definition l4mod.h:49
l4_uint64_t flags
Flags.
Definition l4mod.h:38
l4_uint32_t mods_count
Number of modules.
Definition l4mod.h:41
l4_uint64_t mods_addr
Module list.
Definition l4mod.h:40
l4_uint64_t vbe_ctrl_info
VESA video info, valid if one of vbe_ctrl_info or vbe_mode_info is not zero.
Definition l4mod.h:48
l4_uint64_t cmdline
Pointer to kernel command line.
Definition l4mod.h:39
A single module.
Definition l4mod.h:28
l4_uint64_t mod_end
End address of module in memory.
Definition l4mod.h:31
l4_uint64_t flags
Module flags (l4util_l4mod_mod_info_flag)
Definition l4mod.h:29
l4_uint64_t cmdline
Module command line.
Definition l4mod.h:32
l4_uint64_t mod_start
Starting address of module in memory.
Definition l4mod.h:30