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