pintos/src/lib/kernel/debug.c File Reference

#include <debug.h>
#include <console.h>
#include <stdarg.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdio.h>
#include <string.h>
#include "threads/init.h"
#include "threads/interrupt.h"
#include "threads/thread.h"
#include "threads/switch.h"
#include "threads/vaddr.h"
#include "devices/serial.h"

Go to the source code of this file.

Functions

void debug_panic (const char *file, int line, const char *function, const char *message,...)
static void print_stacktrace (struct thread *t, void *aux UNUSED)
void debug_backtrace_all (void)


Function Documentation

void debug_backtrace_all ( void   ) 

Definition at line 117 of file debug.c.

References intr_disable(), intr_set_level(), print_stacktrace(), and thread_foreach().

Referenced by keyboard_interrupt().

void debug_panic ( const char *  file,
int  line,
const char *  function,
const char *  message,
  ... 
)

static void print_stacktrace ( struct thread t,
void *aux  UNUSED 
) [static]


Generated on Mon Jan 10 16:43:58 2011 for Pintos by  doxygen 1.5.6