From 5d770edfd88e9acddf78751f1855626d84a627d8 Mon Sep 17 00:00:00 2001 From: Felipe Pena Date: Thu, 28 Nov 2024 15:12:10 -0300 Subject: [PATCH] fix -skip-unused build --- kernel/modules/dev/serial/serial.v | 1 + kernel/modules/kprint/kprint.v | 1 + kernel/modules/syscall/syscall.v | 1 + 3 files changed, 3 insertions(+) diff --git a/kernel/modules/dev/serial/serial.v b/kernel/modules/dev/serial/serial.v index ee5093715..0bc632148 100644 --- a/kernel/modules/dev/serial/serial.v +++ b/kernel/modules/dev/serial/serial.v @@ -114,6 +114,7 @@ pub fn out(value u8) { } // Unlocked COM1 reporting. +@[markused] pub fn panic_out(value u8) { if value == `\n` { for !is_transmiter_empty(serial.com1_port) {} diff --git a/kernel/modules/kprint/kprint.v b/kernel/modules/kprint/kprint.v index ac1e18188..6f5eb21d1 100644 --- a/kernel/modules/kprint/kprint.v +++ b/kernel/modules/kprint/kprint.v @@ -8,6 +8,7 @@ import klock import dev.serial import term +@[markused] __global ( printf_lock klock.Lock kprint_lock klock.Lock diff --git a/kernel/modules/syscall/syscall.v b/kernel/modules/syscall/syscall.v index efd17763d..74b56529e 100644 --- a/kernel/modules/syscall/syscall.v +++ b/kernel/modules/syscall/syscall.v @@ -7,6 +7,7 @@ module syscall import x86.cpu.local as cpulocal //import userland +@[markused] fn leave(context &cpulocal.GPRState) { asm volatile amd64 { cli