c631ec5ef5
First attempt at a UART driver. I'm not sure it's the most stable. Now that userspace is handling displaying logs, also removed serial and log output support from the kernel.
21 lines
384 B
C
21 lines
384 B
C
#pragma once
|
|
/// \file debug.h
|
|
/// Debugging utilities
|
|
|
|
#include <stdint.h>
|
|
|
|
struct cpu_state;
|
|
|
|
extern "C" {
|
|
uintptr_t get_rsp();
|
|
uintptr_t get_rip();
|
|
uintptr_t get_caller();
|
|
uintptr_t get_grandcaller();
|
|
uintptr_t get_frame(int frame);
|
|
uintptr_t get_gsbase();
|
|
void _halt();
|
|
}
|
|
|
|
extern size_t __counter_syscall_enter;
|
|
extern size_t __counter_syscall_sysret;
|