MOS Source Code
|
#include "mos/platform/platform.h"
Go to the source code of this file.
Classes | |
struct | platform_regs_t |
Macros | |
#define | X86_BIOS_MEMREGION_PADDR 0xf0000 |
#define | BIOS_MEMREGION_SIZE 0x10000 |
#define | X86_EBDA_MEMREGION_PADDR 0x80000 |
#define | EBDA_MEMREGION_SIZE 0x20000 |
#define | X86_VIDEO_DEVICE_PADDR 0xb8000 |
#define | MOS_SYSCALL_INTR 0x88 |
Functions | |
MOS_STATIC_ASSERT (sizeof(platform_regs_t)==176, "platform_regs_t has incorrect size") | |
void | x86_dump_stack_at (ptr_t this_frame, bool can_access_vmaps) |
void | x86_setup_lapic_timer () |
Variables | |
mos_platform_info_t | x86_platform |
#define X86_BIOS_MEMREGION_PADDR 0xf0000 |
Definition at line 7 of file x86_platform.h.
Referenced by platform_startup_late().
#define BIOS_MEMREGION_SIZE 0x10000 |
Definition at line 8 of file x86_platform.h.
Referenced by platform_startup_late().
#define X86_EBDA_MEMREGION_PADDR 0x80000 |
Definition at line 10 of file x86_platform.h.
Referenced by platform_startup_late().
#define EBDA_MEMREGION_SIZE 0x20000 |
Definition at line 11 of file x86_platform.h.
Referenced by platform_startup_late().
#define X86_VIDEO_DEVICE_PADDR 0xb8000 |
Definition at line 13 of file x86_platform.h.
#define MOS_SYSCALL_INTR 0x88 |
Definition at line 15 of file x86_platform.h.
Referenced by x86_idt_init(), and x86_interrupt_entry().
MOS_STATIC_ASSERT | ( | sizeof(platform_regs_t) | = =176, |
"platform_regs_t has incorrect size" | ) |
Definition at line 97 of file x86_platform.c.
Referenced by platform_dump_current_stack(), platform_dump_stack(), and platform_dump_thread_kernel_stack().
void x86_setup_lapic_timer | ( | ) |
Definition at line 86 of file x86_platform.c.
Referenced by platform_ap_entry(), and platform_startup_late().
|
extern |
Definition at line 64 of file x86_platform.c.
Referenced by madt_parse_table(), platform_startup_late(), and x86_setup_direct_map().