Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions asbestos/gen.c
Original file line number Diff line number Diff line change
Expand Up @@ -462,7 +462,7 @@ static inline uint16_t cpu_reg_offset(enum arg arg, int index) {
return 0;
}

static inline bool gen_vec(enum arg src, enum arg dst, void (*helper)(), gadget_t read_mem_gadget, gadget_t write_mem_gadget, struct gen_state *state, struct modrm *modrm, uint8_t imm, bool seg_gs, bool has_imm) {
static inline bool gen_vec(enum arg src, enum arg dst, void (*helper)(void), gadget_t read_mem_gadget, gadget_t write_mem_gadget, struct gen_state *state, struct modrm *modrm, uint8_t imm, bool seg_gs, bool has_imm) {
bool rm_is_src = !could_be_memory(dst);
enum arg rm = rm_is_src ? src : dst;
enum arg reg = rm_is_src ? dst : src;
Expand Down Expand Up @@ -523,7 +523,7 @@ static inline bool gen_vec(enum arg src, enum arg dst, void (*helper)(), gadget_
#define _v(src, dst, helper, _imm, z) do { \
extern void gadget_vec_helper_read##z##_imm(void); \
extern void gadget_vec_helper_write##z##_imm(void); \
if (!gen_vec(src, dst, (void (*)()) helper, gadget_vec_helper_read##z##_imm, gadget_vec_helper_write##z##_imm, state, &modrm, imm, seg_gs, has_imm_##_imm)) return false; \
if (!gen_vec(src, dst, (void (*)(void)) helper, gadget_vec_helper_read##z##_imm, gadget_vec_helper_write##z##_imm, state, &modrm, imm, seg_gs, has_imm_##_imm)) return false; \
} while (0)
#define v_(op, src, dst, _imm,z) _v(arg_##src, arg_##dst, vec_##op##z, _imm,z)
#define v(op, src, dst,z) v_(op, src, dst,,z)
Expand Down
2 changes: 1 addition & 1 deletion asbestos/offsets.c
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@
#include "emu/cpu.h"
#include "emu/tlb.h"

void cpu() {
void cpu(void) {
OFFSET(CPU, cpu_state, eax);
OFFSET(CPU, cpu_state, ebx);
OFFSET(CPU, cpu_state, ecx);
Expand Down
12 changes: 6 additions & 6 deletions emu/float80-test.c
Original file line number Diff line number Diff line change
Expand Up @@ -69,7 +69,7 @@ void assertf(int cond, const char *msg, ...) {
puts(buf);
}

void test_int_convert() {
void test_int_convert(void) {
suite_start();
union f80 u;
int64_t i;
Expand All @@ -96,7 +96,7 @@ void test_int_convert() {
suite_end();
}

void test_double_convert() {
void test_double_convert(void) {
suite_start();
union f80 u;
double d;
Expand All @@ -118,7 +118,7 @@ void test_double_convert() {
suite_end();
}

void test_round() {
void test_round(void) {
suite_start();
union f80 u, ur;
long double r;
Expand All @@ -145,7 +145,7 @@ void test_round() {
suite_end();
}

void test_math() {
void test_math(void) {
suite_start();
union f80 ua, ub, u;
long double expected;
Expand Down Expand Up @@ -217,7 +217,7 @@ void test_math() {
suite_end();
}

void test_compare() {
void test_compare(void) {
suite_start();
union f80 ua, ub;
bool expected, actual;
Expand Down Expand Up @@ -258,7 +258,7 @@ uint64_t fnmulh(uint64_t a, uint64_t b) {
return ((unsigned __int128) a * b) >> 64;
}

int main() {
int main(void) {
for (int rounding_mode = 0; rounding_mode < 4; rounding_mode++) {
f80_rounding_mode = rounding_mode;
switch (rounding_mode) {
Expand Down
2 changes: 2 additions & 0 deletions emu/vec.c
Original file line number Diff line number Diff line change
Expand Up @@ -297,6 +297,7 @@ static bool cmpd(double a, double b, int type) {
case 1: res = a < b; break;
case 2: res = a <= b; break;
case 3: res = isnan(a) || isnan(b); break;
default: __builtin_unreachable();
}
if (type >= 4) res = !res;
return res;
Expand All @@ -308,6 +309,7 @@ static bool cmps(float a, float b, int type) {
case 1: res = a < b; break;
case 2: res = a <= b; break;
case 3: res = isnan(a) || isnan(b); break;
default: __builtin_unreachable();
}
if (type >= 4) res = !res;
return res;
Expand Down
2 changes: 1 addition & 1 deletion fs/fake.c
Original file line number Diff line number Diff line change
Expand Up @@ -354,7 +354,7 @@ static int fakefs_readdir(struct fd *fd, struct dir_entry *entry) {
}

static struct fd_ops fakefs_fdops;
static void __attribute__((constructor)) init_fake_fdops() {
static void __attribute__((constructor)) init_fake_fdops(void) {
fakefs_fdops = realfs_fdops;
fakefs_fdops.readdir = fakefs_readdir;
}
Expand Down
2 changes: 1 addition & 1 deletion fs/poll.c
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ static int real_poll_update(struct real_poll *real, int fd, int types, void *dat

// lock order: fd, then poll

struct poll *poll_create() {
struct poll *poll_create(void) {
struct poll *poll = malloc(sizeof(struct poll));
if (poll == NULL)
return ERR_PTR(_ENOMEM);
Expand Down
2 changes: 1 addition & 1 deletion fs/pty.c
Original file line number Diff line number Diff line change
Expand Up @@ -128,7 +128,7 @@ const struct tty_driver_ops pty_slave_ops = {
};
DEFINE_TTY_DRIVER(pty_slave, &pty_slave_ops, TTY_PSEUDO_SLAVE_MAJOR, MAX_PTYS);

static int pty_reserve_next() {
static int pty_reserve_next(void) {
int pty_num;
lock(&ttys_lock);
for (pty_num = 0; pty_num < MAX_PTYS; pty_num++) {
Expand Down
3 changes: 3 additions & 0 deletions fs/real.c
Original file line number Diff line number Diff line change
Expand Up @@ -33,6 +33,8 @@ static int getpath(int fd, char *buf) {
#endif
}

#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wunreachable-code"
static int open_flags_real_from_fake(int flags) {
int real_flags = 0;
if (flags & O_RDONLY_) real_flags |= O_RDONLY;
Expand All @@ -58,6 +60,7 @@ static int open_flags_fake_from_real(int flags) {
if (flags & O_NONBLOCK) fake_flags |= O_NONBLOCK_;
return fake_flags;
}
#pragma clang diagnostic pop

struct fd *realfs_open(struct mount *mount, const char *path, int flags, int mode) {
int real_flags = open_flags_real_from_fake(flags);
Expand Down
4 changes: 2 additions & 2 deletions fs/sock.c
Original file line number Diff line number Diff line change
Expand Up @@ -78,7 +78,7 @@ static struct fd *sock_getfd(fd_t sock_fd) {
return sock;
}

static uint32_t unix_socket_next_id() {
static uint32_t unix_socket_next_id(void) {
static uint32_t next_id = 0;
static lock_t next_id_lock = LOCK_INITIALIZER;
lock(&next_id_lock);
Expand Down Expand Up @@ -1186,7 +1186,7 @@ const struct fd_ops socket_fdops = {
.ioctl = realfs_ioctl,
};

#if defined(__GNUC__) && __GNUC__ >= 8
#if is_gcc(8) || is_clang(21)
#pragma GCC diagnostic ignored "-Wcast-function-type"
#endif
#if defined(__clang__)
Expand Down
6 changes: 3 additions & 3 deletions fs/sockrestart.c
Original file line number Diff line number Diff line change
Expand Up @@ -49,7 +49,7 @@ void sockrestart_end_listen_wait(struct fd *sock) {
unlock(&sockrestart_lock);
}

bool sockrestart_should_restart_listen_wait() {
bool sockrestart_should_restart_listen_wait(void) {
lock(&sockrestart_lock);
bool punt = current->sockrestart.punt;
current->sockrestart.punt = false;
Expand All @@ -73,7 +73,7 @@ static struct list saved_sockets = LIST_INITIALIZER(saved_sockets);

// these should only be called from the main thread, but it's easiest to just lock for the whole time

void sockrestart_on_suspend() {
void sockrestart_on_suspend(void) {
lock(&sockrestart_lock);
assert(list_empty(&saved_sockets));
struct fd *sock;
Expand All @@ -93,7 +93,7 @@ void sockrestart_on_suspend() {
unlock(&sockrestart_lock);
}

void sockrestart_on_resume() {
void sockrestart_on_resume(void) {
lock(&sockrestart_lock);
struct saved_socket *saved, *tmp;
list_for_each_entry_safe(&saved_sockets, saved, tmp, saved) {
Expand Down
1 change: 0 additions & 1 deletion fs/stat.c
Original file line number Diff line number Diff line change
Expand Up @@ -95,7 +95,6 @@ dword_t sys_fstat64(fd_t fd_no, addr_t statbuf_addr) {
}

dword_t sys_statx(fd_t at_f, addr_t path_addr, int_t flags, uint_t mask, addr_t statx_addr) {
int err;
char path[MAX_PATH];
if (user_read_string(path_addr, path, sizeof(path)))
return _EFAULT;
Expand Down
2 changes: 1 addition & 1 deletion fs/tty-real.c
Original file line number Diff line number Diff line change
Expand Up @@ -125,7 +125,7 @@ static int real_tty_write(struct tty *tty, const void *buf, size_t len, bool UNU
return write(STDOUT_FILENO, buf, len);
}

void real_tty_reset_term() {
void real_tty_reset_term(void) {
if (!real_tty_is_open) return;
if (tcsetattr(STDIN_FILENO, TCSANOW, &old_termios) < 0 && errno != ENOTTY) {
printk("failed to reset terminal: %s\n", strerror(errno));
Expand Down
2 changes: 1 addition & 1 deletion kernel/calls.c
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ dword_t syscall_success_stub(void) {
return 0;
}

#if is_gcc(8)
#if is_gcc(8) || is_clang(21)
#pragma GCC diagnostic ignored "-Wcast-function-type"
#endif
syscall_t syscall_table[] = {
Expand Down
2 changes: 1 addition & 1 deletion kernel/epoll.c
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ fd_t sys_epoll_create(int_t flags) {
fd->epollfd.poll = poll;
return f_install(fd, flags);
}
fd_t sys_epoll_create0() {
fd_t sys_epoll_create0(void) {
return sys_epoll_create(0);
}

Expand Down
2 changes: 1 addition & 1 deletion kernel/errno.c
Original file line number Diff line number Diff line change
Expand Up @@ -98,7 +98,7 @@ int err_map(int err) {
return -(err | 0x1000);
}

int errno_map() {
int errno_map(void) {
if (errno == EPIPE)
send_signal(current, SIGPIPE_, SIGINFO_NIL);
return err_map(errno);
Expand Down
4 changes: 2 additions & 2 deletions kernel/fork.c
Original file line number Diff line number Diff line change
Expand Up @@ -196,11 +196,11 @@ dword_t sys_clone(dword_t flags, addr_t stack, addr_t ptid, addr_t tls, addr_t c
return pid;
}

dword_t sys_fork() {
dword_t sys_fork(void) {
return sys_clone(SIGCHLD_, 0, 0, 0, 0);
}

dword_t sys_vfork() {
dword_t sys_vfork(void) {
return sys_clone(CLONE_VFORK_ | CLONE_VM_ | SIGCHLD_, 0, 0, 0, 0);
}

Expand Down
2 changes: 1 addition & 1 deletion kernel/fs_info.c
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
#include "kernel/fs.h"
#include "fs/fd.h"

struct fs_info *fs_info_new() {
struct fs_info *fs_info_new(void) {
struct fs_info *fs = malloc(sizeof(struct fs_info));
if (fs == NULL)
return NULL;
Expand Down
2 changes: 1 addition & 1 deletion kernel/futex.c
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ struct futex_wait {
static lock_t futex_lock = LOCK_INITIALIZER;
static struct list futex_hash[FUTEX_HASH_SIZE];

static void __attribute__((constructor)) init_futex_hash() {
static void __attribute__((constructor)) init_futex_hash(void) {
for (int i = 0; i < FUTEX_HASH_SIZE; i++)
list_init(&futex_hash[i]);
}
Expand Down
22 changes: 11 additions & 11 deletions kernel/getset.c
Original file line number Diff line number Diff line change
Expand Up @@ -2,15 +2,15 @@
#include "kernel/task.h"
#include "kernel/personality.h"

pid_t_ sys_getpid() {
pid_t_ sys_getpid(void) {
STRACE("getpid()");
return current->tgid;
}
pid_t_ sys_gettid() {
pid_t_ sys_gettid(void) {
STRACE("gettid()");
return current->pid;
}
pid_t_ sys_getppid() {
pid_t_ sys_getppid(void) {
STRACE("getppid()");
pid_t_ ppid;
lock(&pids_lock);
Expand All @@ -22,20 +22,20 @@ pid_t_ sys_getppid() {
return ppid;
}

dword_t sys_getuid32() {
dword_t sys_getuid32(void) {
STRACE("getuid32()");
return current->uid;
}
dword_t sys_getuid() {
dword_t sys_getuid(void) {
STRACE("getuid()");
return current->uid & 0xffff;
}

dword_t sys_geteuid32() {
dword_t sys_geteuid32(void) {
STRACE("geteuid32()");
return current->euid;
}
dword_t sys_geteuid() {
dword_t sys_geteuid(void) {
STRACE("geteuid()");
return current->euid & 0xffff;
}
Expand Down Expand Up @@ -87,20 +87,20 @@ int_t sys_setreuid(uid_t_ ruid, uid_t_ euid) {
return sys_setresuid(ruid, euid, -1);
}

dword_t sys_getgid32() {
dword_t sys_getgid32(void) {
STRACE("getgid32()");
return current->gid;
}
dword_t sys_getgid() {
dword_t sys_getgid(void) {
STRACE("getgid()");
return current->gid & 0xffff;
}

dword_t sys_getegid32() {
dword_t sys_getegid32(void) {
STRACE("getegid32()");
return current->egid;
}
dword_t sys_getegid() {
dword_t sys_getegid(void) {
STRACE("getegid()");
return current->egid & 0xffff;
}
Expand Down
8 changes: 4 additions & 4 deletions kernel/group.c
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,7 @@ dword_t sys_setpgid(pid_t_ id, pid_t_ pgid) {
return err;
}

dword_t sys_setpgrp() {
dword_t sys_setpgrp(void) {
return sys_setpgid(0, 0);
}

Expand All @@ -73,7 +73,7 @@ pid_t_ sys_getpgid(pid_t_ pid) {
unlock(&pids_lock);
return pid;
}
pid_t_ sys_getpgrp() {
pid_t_ sys_getpgrp(void) {
return sys_getpgid(0);
}

Expand Down Expand Up @@ -116,12 +116,12 @@ pid_t_ task_setsid(struct task *task) {
return new_sid;
}

dword_t sys_setsid() {
dword_t sys_setsid(void) {
STRACE("setsid()");
return task_setsid(current);
}

dword_t sys_getsid() {
dword_t sys_getsid(void) {
STRACE("getsid()");
lock(&pids_lock);
pid_t_ sid = current->group->sid;
Expand Down
8 changes: 4 additions & 4 deletions kernel/init.c
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ int mount_root(const struct fs_ops *fs, const char *source) {
return 0;
}

static void establish_signal_handlers() {
static void establish_signal_handlers(void) {
extern void sigusr1_handler(int sig);
struct sigaction sigact;
sigact.sa_handler = sigusr1_handler;
Expand Down Expand Up @@ -86,7 +86,7 @@ static struct task *construct_task(struct task *parent) {
return task;
}

int become_first_process() {
int become_first_process(void) {
// now seems like a nice time
establish_signal_handlers();

Expand All @@ -98,7 +98,7 @@ int become_first_process() {
return 0;
}

int become_new_init_child() {
int become_new_init_child(void) {
// locking? who needs locking?!
struct task *init = pid_get_task(1);
assert(init != NULL);
Expand Down Expand Up @@ -155,7 +155,7 @@ static struct fd *open_fd_from_actual_fd(int fd_no) {
return fd;
}

int create_piped_stdio() {
int create_piped_stdio(void) {
if (!(current->files->files[0] = open_fd_from_actual_fd(STDIN_FILENO))) {
return -1;
}
Expand Down
Loading
Loading