baddev.hh (4762:c94e103c83ad) baddev.hh (9235:5aa4896ed55a)
1/*
2 * Copyright (c) 2004-2005 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

--- 22 unchanged lines hidden (view full) ---

31/** @file
32 * This devices just panics when touched. For example if you have a
33 * kernel that touches the frame buffer which isn't allowed.
34 */
35
36#ifndef __DEV_BADDEV_HH__
37#define __DEV_BADDEV_HH__
38
1/*
2 * Copyright (c) 2004-2005 The Regents of The University of Michigan
3 * All rights reserved.
4 *
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions are
7 * met: redistributions of source code must retain the above copyright
8 * notice, this list of conditions and the following disclaimer;

--- 22 unchanged lines hidden (view full) ---

31/** @file
32 * This devices just panics when touched. For example if you have a
33 * kernel that touches the frame buffer which isn't allowed.
34 */
35
36#ifndef __DEV_BADDEV_HH__
37#define __DEV_BADDEV_HH__
38
39#include "base/range.hh"
40#include "dev/io_device.hh"
41#include "params/BadDevice.hh"
42
43/**
44 * BadDevice
45 * This device just panics when accessed. It is supposed to warn
46 * the user that the kernel they are running has unsupported
47 * options (i.e. frame buffer)

--- 29 unchanged lines hidden --- 		39#include "dev/io_device.hh"
40#include "params/BadDevice.hh"
41
42/**
43 * BadDevice
44 * This device just panics when accessed. It is supposed to warn
45 * the user that the kernel they are running has unsupported
46 * options (i.e. frame buffer)

--- 29 unchanged lines hidden ---