Branch data     Line data    Source code

       1                 :            : #include "debug.h"
       2                 :            : #include <stdlib.h>
       3                 :            : #include <stdint.h>
       4                 :            : 
       5                 :            : #define N_DBG_SWITCH (256)
       6                 :            : 
       7                 :            : static uint8_t _global_dbg_switch[N_DBG_SWITCH];
       8                 :            : static void* _global_dbg_addr[N_DBG_SWITCH];
       9                 :            : static uint64_t _global_dbg_uint64_t[N_DBG_SWITCH];
      10                 :            : 
      11                 :          0 : void _dbg_sw_set(int n)
      12                 :            : {
      13                 :          0 :     _global_dbg_switch[n] = 1;
      14                 :          0 : }
      15                 :            : 
      16                 :          0 : void _dbg_sw_clear(int n)
      17                 :            : {
      18                 :          0 :     _global_dbg_switch[n] = 0;
      19                 :          0 : }
      20                 :            : 
      21                 :          0 : void _dbg_set_addr(int n, void *addr)
      22                 :            : {
      23                 :          0 :     _global_dbg_addr[n] = addr;
      24                 :          0 : }
      25                 :            : 
      26                 :          0 : void * _dbg_get_addr(int n)
      27                 :            : {
      28                 :          0 :     return _global_dbg_addr[n];
      29                 :            : }
      30                 :            : 
      31                 :          0 : void _dbg_set_uint64_t(int n, uint64_t val)
      32                 :            : {
      33                 :          0 :     _global_dbg_uint64_t[n] = val;
      34                 :          0 : }
      35                 :            : 
      36                 :          0 : uint64_t _dbg_get_uint64_t(int n)
      37                 :            : {
      38                 :          0 :     return _global_dbg_uint64_t[n];
      39                 :            : }
      40                 :            : 
      41                 :          0 : int _dbg_is_sw_set(int n)
      42                 :            : {
      43                 :          0 :     return _global_dbg_switch[n];
      44                 :            : }
      45                 :            :