#[cfg(feature = "context")]
use core::arch::naked_asm;
#[cfg(feature = "context")]
use core::mem::{align_of, offset_of, size_of};
#[cfg(feature = "context")]
use ax_memory_addr::VirtAddr;
#[cfg(feature = "fp-simd")]
use super::fp::FpuState;
use super::registers::GeneralRegisters;
#[cfg(feature = "context")]
use crate::{KernelTlsBase, TaskLocalState, context::TaskAnchor};
#[repr(C)]
#[derive(Debug, Default, Clone, Copy)]
pub struct TrapFrame {
pub regs: GeneralRegisters,
pub prmd: usize,
pub era: usize,
}
impl TrapFrame {
pub fn interrupted_context(&self) -> crate::trap::InterruptedContext {
use crate::trap::{InterruptedContext, InterruptedPrivilege};
InterruptedContext {
pc: self.ip(),
sp: self.regs.sp,
fp: self.regs.fp,
privilege: match self.origin() {
crate::trap::TrapOrigin::Kernel => InterruptedPrivilege::Kernel,
crate::trap::TrapOrigin::User => InterruptedPrivilege::User,
},
}
}
pub const fn origin(&self) -> crate::TrapOrigin {
if self.prmd & 0b11 == 0 {
crate::TrapOrigin::Kernel
} else {
crate::TrapOrigin::User
}
}
pub const fn arg0(&self) -> usize {
self.regs.a0
}
pub const fn set_arg0(&mut self, a0: usize) {
self.regs.a0 = a0;
}
pub const fn arg1(&self) -> usize {
self.regs.a1
}
pub const fn set_arg1(&mut self, a1: usize) {
self.regs.a1 = a1;
}
pub const fn arg2(&self) -> usize {
self.regs.a2
}
pub const fn set_arg2(&mut self, a2: usize) {
self.regs.a2 = a2;
}
pub const fn arg3(&self) -> usize {
self.regs.a3
}
pub const fn set_arg3(&mut self, a3: usize) {
self.regs.a3 = a3;
}
pub const fn arg4(&self) -> usize {
self.regs.a4
}
pub const fn set_arg4(&mut self, a4: usize) {
self.regs.a4 = a4;
}
pub const fn arg5(&self) -> usize {
self.regs.a5
}
pub const fn set_arg5(&mut self, a5: usize) {
self.regs.a5 = a5;
}
pub const fn sysno(&self) -> usize {
self.regs.a7
}
pub const fn set_sysno(&mut self, a7: usize) {
self.regs.a7 = a7;
}
pub const fn ip(&self) -> usize {
self.era
}
pub const fn set_ip(&mut self, pc: usize) {
self.era = pc;
}
pub const fn sp(&self) -> usize {
self.regs.sp
}
pub const fn set_sp(&mut self, sp: usize) {
self.regs.sp = sp;
}
pub const fn retval(&self) -> usize {
self.regs.a0
}
pub const fn set_retval(&mut self, a0: usize) {
self.regs.a0 = a0;
}
pub const fn set_ra(&mut self, ra: usize) {
self.regs.ra = ra;
}
pub const fn tls(&self) -> usize {
self.regs.tp
}
pub const fn set_tls(&mut self, tls_area: usize) {
self.regs.tp = tls_area;
}
pub fn backtrace_registers(&self) -> crate::trap::BacktraceRegisters {
crate::trap::BacktraceRegisters::new(self.regs.fp as _, self.era as _, self.regs.ra as _)
}
}
#[allow(missing_docs)]
#[repr(C)]
#[derive(Debug, Default)]
#[cfg(feature = "context")]
pub struct TaskContext {
pub ra: usize,
pub sp: usize,
pub s: [usize; 10],
task_local: TaskLocalState,
#[cfg(feature = "fp-simd")]
pub fpu: FpuState,
}
#[cfg(feature = "context")]
const _: () = {
assert!(size_of::<KernelTlsBase>() == size_of::<usize>());
assert!(align_of::<KernelTlsBase>() == align_of::<usize>());
assert!(offset_of!(TaskContext, ra) == 0);
assert!(offset_of!(TaskContext, sp) == offset_of!(TaskContext, ra) + size_of::<usize>());
assert!(size_of::<[usize; 10]>() == 10 * size_of::<usize>());
assert!(
offset_of!(TaskContext, task_local)
== offset_of!(TaskContext, s) + size_of::<[usize; 10]>()
);
};
#[cfg(feature = "context")]
impl TaskContext {
pub fn new() -> Self {
Self::default()
}
pub fn init(&mut self, entry: usize, kstack_top: VirtAddr, kernel_tls: KernelTlsBase) {
self.sp = kstack_top.as_usize();
self.ra = entry;
self.task_local.set_kernel_tls(kernel_tls);
}
pub fn set_task_anchor(&mut self, header: TaskAnchor) {
self.task_local.set_task_anchor(header);
}
pub const fn task_anchor(&self) -> Option<TaskAnchor> {
self.task_local.task_anchor()
}
#[cfg(all(feature = "fp-simd", feature = "uspace"))]
pub fn clone_user_fp_state_into(&self, child: &mut Self) {
assert!(
self.task_anchor().is_some(),
"FP clone parent must be bound"
);
assert!(
child.task_anchor().is_none(),
"FP clone child must be unpublished"
);
child.fpu.save();
}
pub fn prepare_switch_to(&mut self, _next_ctx: &Self) {
#[cfg(feature = "fp-simd")]
{
self.fpu.save();
_next_ctx.fpu.restore();
}
}
#[inline(always)]
pub unsafe fn switch_to(&mut self, next_ctx: &Self) {
unsafe { context_switch_raw(self, next_ctx) }
}
}
#[cfg(kernel_tls)]
#[unsafe(naked)]
#[cfg(feature = "context")]
unsafe extern "C" fn context_switch_raw(_current_task: &mut TaskContext, _next_task: &TaskContext) {
naked_asm!(
include_asm_macros!(),
"
// save old context (callee-saved registers)
st.d $ra, $a0, {ra_offset}
st.d $sp, $a0, {sp_offset}
st.d $s0, $a0, {s0_offset}
st.d $s1, $a0, {s1_offset}
st.d $s2, $a0, {s2_offset}
st.d $s3, $a0, {s3_offset}
st.d $s4, $a0, {s4_offset}
st.d $s5, $a0, {s5_offset}
st.d $s6, $a0, {s6_offset}
st.d $s7, $a0, {s7_offset}
st.d $s8, $a0, {s8_offset}
st.d $fp, $a0, {frame_pointer_offset}
// Keep task TLS inside the final, IRQ-disabled context-switch
// boundary. In particular, never add the CPU-owned $r21 here.
st.d $tp, $a0, {kernel_tls_offset}
// restore new context
ld.d $fp, $a1, {frame_pointer_offset}
ld.d $s8, $a1, {s8_offset}
ld.d $s7, $a1, {s7_offset}
ld.d $s6, $a1, {s6_offset}
ld.d $s5, $a1, {s5_offset}
ld.d $s4, $a1, {s4_offset}
ld.d $s3, $a1, {s3_offset}
ld.d $s2, $a1, {s2_offset}
ld.d $s1, $a1, {s1_offset}
ld.d $s0, $a1, {s0_offset}
ld.d $sp, $a1, {sp_offset}
ld.d $ra, $a1, {ra_offset}
ld.d $tp, $a1, {kernel_tls_offset}
ret",
ra_offset = const offset_of!(TaskContext, ra),
sp_offset = const offset_of!(TaskContext, sp),
s0_offset = const offset_of!(TaskContext, s),
s1_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 1]>(),
s2_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 2]>(),
s3_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 3]>(),
s4_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 4]>(),
s5_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 5]>(),
s6_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 6]>(),
s7_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 7]>(),
s8_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 8]>(),
frame_pointer_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 9]>(),
kernel_tls_offset = const offset_of!(TaskContext, task_local)
+ offset_of!(TaskLocalState, kernel_tls),
)
}
#[cfg(not(kernel_tls))]
#[unsafe(naked)]
#[cfg(feature = "context")]
unsafe extern "C" fn context_switch_raw(_current_task: &mut TaskContext, _next_task: &TaskContext) {
naked_asm!(
include_asm_macros!(),
"
// Save old callee state. The CPU-owned r21/KS3 anchor and the
// LinuxCurrent task-owned tp value are not generic saved registers.
st.d $ra, $a0, {ra_offset}
st.d $sp, $a0, {sp_offset}
st.d $s0, $a0, {s0_offset}
st.d $s1, $a0, {s1_offset}
st.d $s2, $a0, {s2_offset}
st.d $s3, $a0, {s3_offset}
st.d $s4, $a0, {s4_offset}
st.d $s5, $a0, {s5_offset}
st.d $s6, $a0, {s6_offset}
st.d $s7, $a0, {s7_offset}
st.d $s8, $a0, {s8_offset}
st.d $fp, $a0, {frame_pointer_offset}
// Restore next state and make tp current immediately before the direct
// return. r21 and KS3 continue to identify the physical CPU.
ld.d $fp, $a1, {frame_pointer_offset}
ld.d $s8, $a1, {s8_offset}
ld.d $s7, $a1, {s7_offset}
ld.d $s6, $a1, {s6_offset}
ld.d $s5, $a1, {s5_offset}
ld.d $s4, $a1, {s4_offset}
ld.d $s3, $a1, {s3_offset}
ld.d $s2, $a1, {s2_offset}
ld.d $s1, $a1, {s1_offset}
ld.d $s0, $a1, {s0_offset}
ld.d $sp, $a1, {sp_offset}
ld.d $ra, $a1, {ra_offset}
ld.d $tp, $a1, {context_header_offset}
ret",
ra_offset = const offset_of!(TaskContext, ra),
sp_offset = const offset_of!(TaskContext, sp),
s0_offset = const offset_of!(TaskContext, s),
s1_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 1]>(),
s2_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 2]>(),
s3_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 3]>(),
s4_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 4]>(),
s5_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 5]>(),
s6_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 6]>(),
s7_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 7]>(),
s8_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 8]>(),
frame_pointer_offset = const offset_of!(TaskContext, s) + size_of::<[usize; 9]>(),
context_header_offset = const offset_of!(TaskContext, task_local)
+ offset_of!(TaskLocalState, context_header),
)
}