use crate::proc::context::CpuContext; use crate::syscall::SyscallResult; use crate::wcet::tsc; pub fn sys_clock_monotonic_ms(ctx: &mut CpuContext) { let tsc_now = tsc::read_tsc(); let freq = tsc::freq_hz(); let ms = tsc_now / (freq / 1000); ctx.rax = SyscallResult::success(ms).raw(); }