1172998Speter/* 2172998Speter * Copyright 2017, Data61 3172998Speter * Commonwealth Scientific and Industrial Research Organisation (CSIRO) 4172998Speter * ABN 41 687 119 230. 5172998Speter * 6172998Speter * This software may be distributed and modified according to the terms of 7172998Speter * the BSD 2-Clause license. Note that NO WARRANTY is provided. 8172998Speter * See "LICENSE_BSD2.txt" for details. 9172998Speter * 10172998Speter * @TAG(DATA61_BSD) 11172998Speter */ 12172998Speter 13172998Speter#include <autoconf.h> 14172998Speter#include <platsupport/gen_config.h> 15172998Speter#include <utils/attribute.h> 16172998Speter#include "regions.h" 17172998Speter 18172998Speter#ifdef CONFIG_LIB_SEL4_ACPI_DEBUG 19172998Speter 20172998Speter/************************ 21172998Speter **** Debug features **** 22172998Speter ************************/ 23172998Speter 24172998Speter// pretty print a table. table type is auto detected 25172998Spetervoid 26172998Speteracpi_print_table(const void* start); 27172998Speter 28172998Speter// print the raw table in hex and ASCII 29172998Spetervoid 30172998Speteracpi_print_table_raw(const void* start, int length); 31172998Speter 32172998Spetervoid 33172998Speteracpi_print_regions(const RegionList_t* rl); 34181132Sjhb 35172998Speter#else 36181132Sjhbstatic inline void 37172998Speteracpi_print_table(const void* start UNUSED) {} 38172998Speter 39172998Speterstatic inline void 40172998Speteracpi_print_table_raw(const void* start UNUSED, int length UNUSED) {} 41172998Speter 42172998Speterstatic inline void 43172998Speteracpi_print_regions(const RegionList_t* rl UNUSED) {} 44172998Speter#endif 45172998Speter