1 /* 2 * Copyright 2016 Haiku, Inc. All rights reserved. 3 * Distributed under the terms of the MIT License. 4 */ 5 6 7 #include <string.h> 8 9 #include <boot/platform.h> 10 #include <boot/stage2.h> 11 #include <boot/stdio.h> 12 13 #include "efi_platform.h" 14 15 16 extern "C" void 17 dprintf(const char *format, ...) 18 { 19 } 20 21 22 extern "C" void 23 panic(const char *format, ...) 24 { 25 va_list args; 26 27 platform_switch_to_text_mode(); 28 29 puts("*** PANIC ***"); 30 31 va_start(args, format); 32 vprintf(format, args); 33 va_end(args); 34 35 while (true) 36 kBootServices->Stall(1000000); 37 } 38 39 40 char* 41 platform_debug_get_log_buffer(size_t *_size) 42 { 43 return NULL; 44 } 45