L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
l4mod.h
Go to the documentation of this file.
1/* SPDX-License-Identifier: GPL-2.0-only or License-Ref-kk-custom */
2/*
3 * Copyright (C) 2021-2022 Kernkonzept GmbH.
4 * Author(s): Adam Lackorzynski <adam@l4re.org>
5 */
6
11#pragma once
12
13#include <l4/sys/l4int.h>
14
24
33
unsigned int l4_uint32_t
Unsigned 32bit value.
Definition l4int.h:40
unsigned long long l4_uint64_t
Unsigned 64bit value.
Definition l4int.h:42
l4util_l4mod_mod_info_flag
Flags for l4util_l4mod_mod.flags.
Definition l4mod.h:17
@ L4util_l4mod_mod_flag_unspec
Flag for a generic module.
Definition l4mod.h:18
@ L4util_l4mod_mod_flag_roottask
Flag for the root task module.
Definition l4mod.h:21
@ L4util_l4mod_mod_flag_kernel
Flag for the kernel module.
Definition l4mod.h:19
@ L4util_l4mod_mod_flag_sigma0
Flag for the sigma0 module.
Definition l4mod.h:20
@ L4util_l4mod_mod_flag_mask
Mask for specified flags.
Definition l4mod.h:22
Base module structure.
Definition l4mod.h:36
l4_uint64_t vbe_mode_info
VESA video mode info.
Definition l4mod.h:48
l4_uint64_t flags
Flags.
Definition l4mod.h:37
l4_uint32_t mods_count
Number of modules.
Definition l4mod.h:40
l4_uint64_t mods_addr
Module list.
Definition l4mod.h:39
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:47
l4_uint64_t cmdline
Pointer to kernel command line.
Definition l4mod.h:38
A single module.
Definition l4mod.h:27
l4_uint64_t mod_end
End address of module in memory.
Definition l4mod.h:30
l4_uint64_t flags
Module flags (l4util_l4mod_mod_info_flag)
Definition l4mod.h:28
l4_uint64_t cmdline
Module command line.
Definition l4mod.h:31
l4_uint64_t mod_start
Starting address of module in memory.
Definition l4mod.h:29