1 files changed, 0 insertions, 40 deletions
diff --git a/web/server/h2o/libh2o/deps/picotls/deps/cifra/src/arm/semihost.h b/web/server/h2o/libh2o/deps/picotls/deps/cifra/src/arm/semihost.h
deleted file mode 100644
index cf6f01a56..000000000
--- a/web/server/h2o/libh2o/deps/picotls/deps/cifra/src/arm/semihost.h
+++ /dev/null
@@ -1,40 +0,0 @@
-#ifndef SEMIHOST_H
-#define SEMIHOST_H
-
-#include <stdint.h>
-#include <stdlib.h>
-
-/* Exits emulator with success (or merely hangs). */
-__attribute__((noreturn))
-void quit_success(void);
-
-/* Exits emulator with failure (or merely hangs). */
-__attribute__((noreturn))
-void quit_failure(void);
-
-/* Writes zero terminated string to debug output */
-void emit(const char *buf);
-
-/* Writes a formatting string to debug output.
- *
- * Supported:
- * %u - uint32_t argument, same as emit_uint32
- * %s - const char * argument, same as emit
- */
-void emitf(const char *fmt, ...);
-
-/* Writes hex dump of len bytes at ptr to debug output. */
-void emit_hex(const void *ptr, size_t len);
-
-/* Writes value v in hex to debug output, in format:
- * 0xHHHHHHHH (equivalent to printf 0x%08x). */
-void emit_uint32(uint32_t v);
-
-/* Reset cycle counter to 0.  Returns the current value
- * (just after resetting it). */
-uint32_t reset_cycles(void);
-
-/* Return the value of the cycle counter. */
-uint32_t get_cycles(void);
-
-#endif