Barrelfish
Data Fields
armv8_core_data Struct Reference

Data sent to a newly booted kernel. More...

Data Fields

uint64_t boot_magic
 
genpaddr_t cpu_driver_stack
 
genpaddr_t cpu_driver_stack_limit
 
genpaddr_t cpu_driver_globals_pointer
 
genvaddr_t cpu_driver_entry
 
char cpu_driver_cmdline [128]
 
genpaddr_t page_table_root
 
struct armv8_coredata_memreg memory
 
struct armv8_coredata_memreg urpc_frame
 
struct armv8_coredata_memreg monitor_binary
 
struct armv8_coredata_memreg multiboot_image
 
uint64_t start_kernel_ram
 The physical start of allocated kernel memory.
 
uint64_t start_free_ram
 The physical start of free ram for the bsp allocator.
 
genpaddr_t kcb
 The kernel control block.
 

Detailed Description

Data sent to a newly booted kernel.

Field Documentation

uint64_t armv8_core_data::boot_magic

ARMv8 Boot magic field. Contains the value ARMV8_BOOTMAGIC_*

char armv8_core_data::cpu_driver_cmdline[128]

CPU driver command line arguments

genvaddr_t armv8_core_data::cpu_driver_entry

CPU Driver entry point

genpaddr_t armv8_core_data::cpu_driver_globals_pointer

Physical address of the global data structure shared by all

genpaddr_t armv8_core_data::cpu_driver_stack

Physical address of the kernel stack

genpaddr_t armv8_core_data::cpu_driver_stack_limit

Physical address of the kernel stack

struct armv8_coredata_memreg armv8_core_data::memory

Memory region to be used for the new CPU driver's allocations

struct armv8_coredata_memreg armv8_core_data::monitor_binary

Memory region to be used for the new CPU driver's allocations

struct armv8_coredata_memreg armv8_core_data::multiboot_image

memory region of the multiboot image

genpaddr_t armv8_core_data::page_table_root

Physical address of the L0 page table in memory

struct armv8_coredata_memreg armv8_core_data::urpc_frame

Memory region to be used for the new CPU driver's allocations


The documentation for this struct was generated from the following file: