text: /* Automatically generated by the Kremlin tool */
  
  
  
  #ifndef __HWAbstraction_H
  #define __HWAbstraction_H
  
  #if defined(__cplusplus)
  extern "C" {
  #endif
  
  #include "kremlin/internal/types.h"
  #include "kremlin/lowstar_endianness.h"
  #include "LowStar_Printf.h"
  #include <string.h>
  
  
  #include "HWState.h"
  
  extern uint32_t uds_len;
  
  extern HWState_state st();
  
  extern void read_uds(uint8_t *uds_out);
  
  extern void disable_uds();
  
  extern void platform_zeroize_stack();
  
  extern void zeroize(uint32_t len, uint8_t *b);
  
  #if defined(__cplusplus)
  }
  #endif
  
  #define __HWAbstraction_H_DEFINED
  #endif
  