formatting

This commit is contained in:
trimill 2024-02-03 21:05:27 -05:00
parent 6b49a206c2
commit 85a9443704
No known key found for this signature in database
GPG key ID: 4F77A16E17E10BCB
14 changed files with 127 additions and 127 deletions

View file

@ -10,7 +10,7 @@ size_t backtrace(void **dst, size_t len);
size_t backtrace_ex(void **dst, size_t len, void *ip, void *bp);
// Log a backtrace
void log_backtrace();
void log_backtrace(void);
// same as log_backtrace with specified insruction and base pointer
void log_backtrace_ex(void *ip, void *bp);

View file

@ -1,3 +1,3 @@
#pragma once
void enable_fpu();
void enable_fpu(void);

View file

@ -26,7 +26,7 @@ size_t backtrace_ex(void **dst, size_t len, void *ip, void *bp) {
return i;
}
void log_backtrace() {
void log_backtrace(void) {
struct stackframe *rbp;
__asm__ ("mov %%rbp, %0" : "=r"(rbp));
log_backtrace_ex(rbp->rip, rbp->rbp);

View file

@ -278,7 +278,7 @@ static int debugger_handle_bkp_cmd(char *msg) {
}
}
static void debugger_load_bkps() {
static void debugger_load_bkps(void) {
struct dr7 dr7;
__asm__ volatile ("mov %%dr7, %0" : "=r"(dr7));
dr7.g0 = bkps[0].enable & bkps[0].used;

View file

@ -26,4 +26,4 @@ struct isr_regs {
uint64_t ss;
};
void idt_init();
void idt_init(void);

View file

@ -3,7 +3,7 @@
#include <stdint.h>
#include <lib.h>
void enable_fpu() {
void enable_fpu(void) {
size_t cr4;
uint16_t cw = 0x37F;
__asm__ volatile ("mov %%cr4, %0" : "=r"(cr4));