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