1/**
2 * \file
3 * \brief Kernel debugging functions
4 */
5
6/*
7 * Copyright (c) 2008, 2009, ETH Zurich.
8 * All rights reserved.
9 *
10 * This file is distributed under the terms in the attached LICENSE file.
11 * If you do not find this file, copies can be found by writing to:
12 * ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
13 */
14
15#include <kernel.h>
16#include <stdio.h>
17#include <arch/x86/debug.h>
18#include <paging_kernel_arch.h>
19
20union lin_addr {
21    uint32_t raw;
22    struct {
23        uint32_t  offset       :12;
24        uint32_t  ptable       :9;
25        uint32_t  pdir         :9;
26        uint32_t  pdpt         :2;
27    } d;
28};
29
30void debug_vaddr_identify(lvaddr_t debug_pdpte, lvaddr_t vaddr)
31{
32    panic("NYI");
33}
34