1 /* $Id: device.c,v 1.1 2004/06/23 22:31:51 ion Exp $
3 * FILE: ntoskrnl/ke/profile.c
4 * PURPOSE: Kernel Device/Settings Functions
5 * PROGRAMMER: Alex Ionescu (alex@relsoft.net)
10 #include <ddk/ntddk.h>
11 #include <internal/io.h>
12 #include <internal/ps.h>
13 #include <internal/pool.h>
16 #include <internal/debug.h>
23 KeFindConfigurationEntry(
26 IN CONFIGURATION_TYPE Type
,
39 KeFindConfigurationNextEntry(
42 IN CONFIGURATION_TYPE Type
,
81 KeRemoveByKeyDeviceQueueIfBusy (
82 IN PKDEVICE_QUEUE DeviceQueue
,
95 KeQueryActiveProcessors (
109 KeSaveStateForHibernate(