Change formatting rules
All checks were successful
Build ISO image / build-and-deploy (push) Successful in 2m7s
Build documentation / build-and-deploy (push) Successful in 39s

This commit is contained in:
2026-04-24 01:54:48 +02:00
parent 34f7809a2d
commit c8fb575bdd
208 changed files with 6310 additions and 6339 deletions

View File

@@ -6,14 +6,14 @@
#include <status.h>
#include <sys/debug.h>
DEFINE_DEVICE_INIT (debugconsole_init) {
DEFINE_DEVICE_INIT(debugconsole_init) {
(void)device, (void)arg, (void)proc, (void)rctx;
return true;
}
DEFINE_DEVICE_FINI (debugconsole_fini) {}
DEFINE_DEVICE_FINI(debugconsole_fini) {}
DEFINE_DEVICE_OP (debugconsole_putstr) {
DEFINE_DEVICE_OP(debugconsole_putstr) {
uint64_t fp;
char* string = (char*)a1;
@@ -22,11 +22,11 @@ DEFINE_DEVICE_OP (debugconsole_putstr) {
if (string == NULL || len == NULL)
return -ST_BAD_ADDRESS_SPACE;
spin_lock (&proc->lock, &fp);
spin_lock(&proc->lock, &fp);
int pid = proc->pid;
spin_unlock (&proc->lock, fp);
spin_unlock(&proc->lock, fp);
debugprintf ("(CPU %d; PID %d) %.*s", thiscpu->id, pid, (int)*len, string);
debugprintf("(CPU %d; PID %d) %.*s", thiscpu->id, pid, (int)*len, string);
return ST_OK;
}