pintos-os.org Git - pintos-anon/blob - src/lib/backdoor.h

   1 #ifndef HEADER_BACKDOOR_H
   2 #define HEADER_BACKDOOR_H 1
   3
   4 #include <stdint.h>
   5 #include <stdarg.h>
   6 #include <stdbool.h>
   7 #include <stddef.h>
   8
   9 #ifdef __cplusplus
  10 extern "C" {
  11 #endif
  12
  13 void backdoor_put_int32 (int32_t value,
  14                          void (*out) (uint8_t, void *aux), void *aux);
  15 void backdoor_put_uint32 (uint32_t value,
  16                           void (*out) (uint8_t, void *aux), void *aux);
  17 void backdoor_put_bytes (const void *buffer, size_t cnt,
  18                          void (*out) (uint8_t, void *aux), void *aux);
  19 void backdoor_put_string (const char *string,
  20                           void (*out) (uint8_t, void *aux), void *aux);
  21 void backdoor_put_bool (bool b,
  22                         void (*out) (uint8_t, void *aux), void *aux);
  23 int32_t backdoor_get_int32 (uint8_t (*in) (void *aux), void *aux);
  24 uint32_t backdoor_get_uint32 (uint8_t (*in) (void *aux), void *aux);
  25 char *backdoor_get_string (uint8_t (*in) (void *aux), void *aux);
  26 void backdoor_get_bytes (void *buffer, size_t cnt,
  27                          uint8_t (*in) (void *aux), void *aux);
  28 bool backdoor_get_bool (uint8_t (*in) (void *aux), void *aux);
  29
  30 #ifdef __cplusplus
  31 };
  32 #endif
  33
  34 #endif /* backdoor.h */