![]() |
MOS Source Code
|
#include "mos/mm/paging/pml_types.hpp"
#include "mos/platform/platform_defs.hpp"
#include "mos/tasks/signal.hpp"
#include "mos/x86/devices/rtc.hpp"
#include <mos/lib/sync/spinlock.hpp>
#include <mos/mm/paging/paging.hpp>
#include <mos/mm/physical/pmm.hpp>
#include <mos/mos_global.h>
#include <mos/platform/platform.hpp>
#include <mos/platform_syscall.h>
#include <mos/syslog/printk.hpp>
#include <mos/tasks/process.hpp>
#include <mos/tasks/task_types.hpp>
#include <mos/x86/cpu/cpu.hpp>
#include <mos/x86/delays.hpp>
#include <mos/x86/devices/port.hpp>
#include <mos/x86/interrupt/apic.hpp>
#include <mos/x86/mm/paging_impl.hpp>
#include <mos/x86/tasks/context.hpp>
#include <mos/x86/x86_interrupt.hpp>
#include <mos/x86/x86_platform.hpp>
#include <mos_stdio.hpp>
#include <mos_stdlib.hpp>
#include <mos_string.hpp>
Go to the source code of this file.
Definition at line 51 of file x86_platform_api.cpp.
Definition at line 56 of file x86_platform_api.cpp.
Definition at line 61 of file x86_platform_api.cpp.
Referenced by do_syslog().
datetime_str_t * platform_get_datetime_str | ( | void | ) |
Definition at line 66 of file x86_platform_api.cpp.
Referenced by do_print_syslog().
Definition at line 76 of file x86_platform_api.cpp.
Definition at line 81 of file x86_platform_api.cpp.
Referenced by platform_shutdown().
Definition at line 86 of file x86_platform_api.cpp.
platform_regs_t * platform_thread_regs | ( | Thread * | thread | ) |
Definition at line 91 of file x86_platform_api.cpp.
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.cpp.
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.cpp.
void platform_syscall_setup_restart_context | ( | platform_regs_t * | regs, |
reg_t | syscall_nr ) |
Definition at line 225 of file x86_platform_api.cpp.
void platform_syscall_store_retval | ( | platform_regs_t * | regs, |
reg_t | result ) |
Definition at line 231 of file x86_platform_api.cpp.