#include "debug.h"
#include "kprintf.h"

void print_stack(void)
{
	struct stackframe *stack =
	    (struct stackframe *)__builtin_frame_address(0);

	while (stack) {
		kprintf(0, "fn: %d\n", stack->eip);
		stack = stack->ebp;
	}
}