portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

use enum for SEL4_BOOTINFO_HEADER_xxx (#724)

Browse source 
* use enum for SEL4_BOOTINFO_HEADER_xxx

Also add more comments and use seL4_BootInfoID in seL4_BootInfoHeader.

Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider 2022-01-05 22:45:47 +01:00 committed by GitHub
parent 8119006150
commit 1596aa5857
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 26 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

43
libsel4/include/sel4/bootinfo_types.h
View file

@ -7,6 +7,7 @@
#pragma once
#include <autoconf.h>
#include <sel4/macros.h>
/* caps with fixed slot positions in the root CNode */
enum {
@ -74,23 +75,31 @@ typedef struct seL4_BootInfo {
* to make this struct easier to represent in other languages */
} seL4_BootInfo;
/* If extraLen > 0 then 4K after the start of bootinfo is a region of extraLen additional
* bootinfo structures. Bootinfo structures are arch/platform specific and may or may not
* exist in any given execution. */
/* If extraLen > 0, then 4K after the start of bootinfo there is a region of the
* size extraLen that contains additional boot info data chunks. They are
* arch/platform specific and may or may not exist in any given execution. Each
* chunk has a header that contains an ID to describe the chunk. All IDs share a
* global namespace to ensure uniqueness.
*/
typedef enum {
SEL4_BOOTINFO_HEADER_PADDING = 0,
SEL4_BOOTINFO_HEADER_X86_VBE = 1,
SEL4_BOOTINFO_HEADER_X86_MBMMAP = 2,
SEL4_BOOTINFO_HEADER_X86_ACPI_RSDP = 3,
SEL4_BOOTINFO_HEADER_X86_FRAMEBUFFER = 4,
SEL4_BOOTINFO_HEADER_X86_TSC_FREQ = 5, /* frequency is in MHz */
SEL4_BOOTINFO_HEADER_FDT = 6, /* device tree */
/* Add more IDs here, the two elements below must always be at the end. */
SEL4_BOOTINFO_HEADER_NUM,
SEL4_FORCE_LONG_ENUM(seL4_BootInfoID)
} seL4_BootInfoID;
/* Common header for all additional bootinfo chunks to describe the chunk. */
typedef struct seL4_BootInfoHeader {
/* identifier of the following chunk. IDs are arch/platform specific */
seL4_Word id;
/* length of the chunk, including this header */
seL4_Word len;
seL4_BootInfoID id; /* identifier of the following blob */
seL4_Word len; /* length of the chunk, including this header */
} seL4_BootInfoHeader;
/* Bootinfo identifiers share a global namespace, even if they are arch or platform specific
* and are enumerated here */
#define SEL4_BOOTINFO_HEADER_PADDING 0
#define SEL4_BOOTINFO_HEADER_X86_VBE 1
#define SEL4_BOOTINFO_HEADER_X86_MBMMAP 2
#define SEL4_BOOTINFO_HEADER_X86_ACPI_RSDP 3
#define SEL4_BOOTINFO_HEADER_X86_FRAMEBUFFER 4
#define SEL4_BOOTINFO_HEADER_X86_TSC_FREQ 5 // frequency is in mhz
#define SEL4_BOOTINFO_HEADER_FDT 6
#define SEL4_BOOTINFO_HEADER_NUM SEL4_BOOTINFO_HEADER_FDT + 1
SEL4_COMPILE_ASSERT(
invalid_seL4_BootInfoHeader,
sizeof(seL4_BootInfoHeader) == 2 * sizeof(seL4_Word));