MaxOS::system::CoreBootInfo Struct Reference

Information needed when booting a core. More...

#include <cpu.h>

Public Attributes
uint64_t	stack
	The stack pointer for the core.
uint64_t	p4_table
	The physical address of the P4 page table.
uint8_t	id
	The ID of the core.
bool	activated
	Whether the core has been activated.
void *	gdt_64_base
	The base of the 64-bit GDT.

Detailed Description

Information needed when booting a core.

Definition at line 194 of file cpu.h.

Member Data Documentation

activated

bool MaxOS::system::CoreBootInfo::activated

Whether the core has been activated.

Definition at line 199 of file cpu.h.

gdt_64_base

void* MaxOS::system::CoreBootInfo::gdt_64_base

The base of the 64-bit GDT.

Definition at line 200 of file cpu.h.

id

uint8_t MaxOS::system::CoreBootInfo::id

The ID of the core.

Definition at line 198 of file cpu.h.

p4_table

uint64_t MaxOS::system::CoreBootInfo::p4_table

The physical address of the P4 page table.

Definition at line 197 of file cpu.h.

stack

uint64_t MaxOS::system::CoreBootInfo::stack

The stack pointer for the core.

Definition at line 196 of file cpu.h.

---

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

• /home/runner/work/MaxOS/MaxOS/kernel/include/system/cpu.h