1 2 3 4 5 6 7 8 9
#pragma once // boot.s __attribute__((noreturn)) void halt_cpu(); // sysenter.c void sysexit(void (*fun)(), void *stack_top); void sysenter_setup();