arch/all-mingw32/kernel/kernel_mingw32.h

   1 #include <stdarg.h>
   2
   3 /* WinAPI Memory protection constants */
   4 #define PAGE_NOACCESS           0x0001
   5 #define PAGE_READONLY           0x0002
   6 #define PAGE_READWRITE          0x0004
   7 #define PAGE_WRITECOPY          0x0008
   8 #define PAGE_EXECUTE            0x0010
   9 #define PAGE_EXECUTE_READ       0x0020
  10 #define PAGE_EXECUTE_READWRITE  0x0040
  11 #define PAGE_EXECUTE_WRITECOPY  0x0080
  12 #define PAGE_GUARD              0x0100
  13 #define PAGE_NOCACHE            0x0200
  14 #define PAGE_WRITECOMBINE       0x0400
  15
  16 extern struct HostInterface *HostIFace;
  17
  18 int core_TrapHandler(unsigned int num, IPTR *args, CONTEXT *regs);
  19 int core_IRQHandler(unsigned char *irqs, CONTEXT *regs);
  20
  21 #undef kprintf
  22 #undef vkprintf
  23 #undef rkprintf
  24
  25 int mykprintf(const char * fmt, ...);
  26 int myvkprintf(const char *fmt, va_list args);
  27 int myrkprintf(const char *foo, const char *bar, int baz, const char *fmt, ...);