All checks were successful
Build documentation / build-and-deploy (push) Successful in 26s
20 lines
571 B
C
20 lines
571 B
C
#include <amd64/gdt.h>
|
|
#include <amd64/intr.h>
|
|
#include <amd64/msr-index.h>
|
|
#include <amd64/msr.h>
|
|
#include <sys/debug.h>
|
|
|
|
extern void amd64_syscall_entry (void);
|
|
|
|
void amd64_syscall_dispatch (void* stack_ptr) {
|
|
struct saved_regs* regs = stack_ptr;
|
|
DEBUG ("hello syscall\n");
|
|
}
|
|
|
|
void syscall_init (void) {
|
|
amd64_wrmsr (MSR_STAR, ((uint64_t)GDT_KCODE << 32) | ((uint64_t)(GDT_UCODE - 16) << 48));
|
|
amd64_wrmsr (MSR_LSTAR, (uint64_t)&amd64_syscall_entry);
|
|
amd64_wrmsr (MSR_SYSCALL_MASK, (1ULL << 9));
|
|
amd64_wrmsr (MSR_EFER, amd64_rdmsr (MSR_EFER) | EFER_SCE);
|
|
}
|