1 /* 2 * Copyright 2005-2009, Axel Dörfler, axeld@pinc-software.de. 3 * Copyright 2016, Jessica Hamilton, jessica.l.hamilton@gmail.com. 4 * Distributed under the terms of the MIT License. 5 */ 6 #ifndef DRIVER_H 7 #define DRIVER_H 8 9 10 #include <ISA.h> 11 #include <KernelExport.h> 12 13 #include <lock.h> 14 15 #include "framebuffer_private.h" 16 17 18 extern char* gDeviceNames[]; 19 extern framebuffer_info* gDeviceInfo[]; 20 extern mutex gLock; 21 22 #endif /* DRIVER_H */ 23