MOS Source Code
|
#include "mos/mm/paging/pml_types.h"
#include "mos/platform/platform_defs.h"
#include "mos/tasks/signal.h"
#include "mos/x86/devices/rtc.h"
#include <mos/lib/sync/spinlock.h>
#include <mos/mm/paging/paging.h>
#include <mos/mm/physical/pmm.h>
#include <mos/mos_global.h>
#include <mos/platform/platform.h>
#include <mos/platform_syscall.h>
#include <mos/syslog/printk.h>
#include <mos/tasks/process.h>
#include <mos/tasks/task_types.h>
#include <mos/x86/cpu/cpu.h>
#include <mos/x86/delays.h>
#include <mos/x86/devices/port.h>
#include <mos/x86/interrupt/apic.h>
#include <mos/x86/mm/paging_impl.h>
#include <mos/x86/tasks/context.h>
#include <mos/x86/x86_interrupt.h>
#include <mos/x86/x86_platform.h>
#include <mos_stdio.h>
#include <mos_stdlib.h>
#include <mos_string.h>
Go to the source code of this file.
Definition at line 51 of file x86_platform_api.c.
Definition at line 56 of file x86_platform_api.c.
Definition at line 61 of file x86_platform_api.c.
Referenced by do_syslog().
datetime_str_t * platform_get_datetime_str | ( | void | ) |
Definition at line 66 of file x86_platform_api.c.
Referenced by do_syslog().
Definition at line 76 of file x86_platform_api.c.
Definition at line 81 of file x86_platform_api.c.
Referenced by platform_shutdown().
void platform_switch_mm | ( | const mm_context_t * | mm | ) |
Definition at line 86 of file x86_platform_api.c.
platform_regs_t * platform_thread_regs | ( | const thread_t * | thread | ) |
Definition at line 91 of file x86_platform_api.c.
Referenced by platform_arch_syscall().
void platform_return_to_userspace | ( | platform_regs_t * | regs | ) |
u64 platform_arch_syscall | ( | u64 | syscall, |
u64 __maybe_unused | arg1, | ||
u64 __maybe_unused | arg2, | ||
u64 __maybe_unused | arg3, | ||
u64 __maybe_unused | arg4 ) |
void platform_ipi_send | ( | u8 | target, |
ipi_type_t | type ) |
void platform_jump_to_signal_handler | ( | const platform_regs_t * | regs, |
const sigreturn_data_t * | sigreturn_data, | ||
const sigaction_t * | sa ) |
Definition at line 197 of file x86_platform_api.c.
Referenced by clock_gettimeofday(), and platform_get_datetime_str().
void platform_dump_regs | ( | platform_regs_t * | frame | ) |
Definition at line 202 of file x86_platform_api.c.
void platform_syscall_setup_restart_context | ( | platform_regs_t * | regs, |
reg_t | syscall_nr ) |
Definition at line 225 of file x86_platform_api.c.
void platform_syscall_store_retval | ( | platform_regs_t * | regs, |
reg_t | result ) |
Definition at line 231 of file x86_platform_api.c.