Updated PCI IDs to latest snapshot.
[tangerine.git] / arch / all-mingw32 / kernel / debug.c
blob19490bbd29f7cce5147bb834aa6cc69447687bb2
1 #include <aros/kernel.h>
2 #include <aros/libcall.h>
3 #include <proto/exec.h>
4 #include <stdarg.h>
6 #include "kernel_intern.h"
8 AROS_LH2(int, KrnBug,
9 AROS_LHA(const char *, format, A0),
10 AROS_LHA(va_list, args, A1),
11 struct KernelBase *, KernelBase, 11, Kernel)
13 AROS_LIBFUNC_INIT
15 int res;
17 /* Windows console output aborts if task switch occurs while it's running */
18 if (SysBase)
19 Forbid();
20 res = HostIFace->VKPrintF(format, args);
21 if (SysBase)
22 Permit();
23 return res;
25 AROS_LIBFUNC_EXIT