devices/debug.hpp

#if !defined(__DEVICES_DEBUG_HPP__)
#define __DEVICES_DEBUG_HPP__

//
// detailed debugging switches
//
#if L4VMM_BUILD_DEBUG

    //
    // ***** DEVICES *****
    //

    //
    // 0: disabled
    // 1: sanity checks
    // 2: PCI configuration space reads/writes
    // 3: PCI configuration space reads/writes more verbose: every byte & dump afterwards
    //
    #define L4VMM_DEBUG_DUMMY_PCI       1
    #define L4VMM_DEBUG_PIIX_PCI        1

    //
    // 0: disabled
    // 1: sanity checks
    // 2: unsupported accesses to BM-DMA register block
    // 3: useful information about BM-DMA operation and legacy/native mode changes
    // 4: every piece of data that goes through BM-DMA register block reads/writes
    //
    #define L4VMM_DEBUG_PIIX_DEV        2

    //
    // 0: disabled
    // 1: sanity checks
    //
    #define L4VMM_DEBUG_L4IO_DEV        1

    //
    // 0: disabled
    // 1: sanity checks
    //
    #define L4VMM_DEBUG_UART_DEV        1

#else /* L4VMM_BUILD_DEBUG */

    #define L4VMM_DEBUG_DUMMY_PCI       0
    #define L4VMM_DEBUG_PIIX_PCI        0

    #define L4VMM_DEBUG_PIIX_DEV        0
    #define L4VMM_DEBUG_L4IO_DEV        0
    #define L4VMM_DEBUG_UART_DEV        0

#endif /* L4VMM_BUILD_DEBUG */

#endif

// ***** end of source ***** //