tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

LowStar_Endianness.h (707B)

      1 /*
      2  Copyright (c) INRIA and Microsoft Corporation. All rights reserved.
      3  Licensed under the Apache 2.0 and MIT Licenses.
      4 */
      5 
      6 #ifndef LowStar_Endianness_H
      7 #define LowStar_Endianness_H
      8 
      9 #include <inttypes.h>
     10 #include <stdbool.h>
     11 #include "krml/internal/compat.h"
     12 #include "krml/lowstar_endianness.h"
     13 #include "krml/internal/types.h"
     14 #include "krml/internal/target.h"
     15 
     16 static inline void store128_le(uint8_t *x0, FStar_UInt128_uint128 x1);
     17 
     18 static inline FStar_UInt128_uint128 load128_le(uint8_t *x0);
     19 
     20 static inline void store128_be(uint8_t *x0, FStar_UInt128_uint128 x1);
     21 
     22 static inline FStar_UInt128_uint128 load128_be(uint8_t *x0);
     23 
     24 #define LowStar_Endianness_H_DEFINED
     25 #endif /* LowStar_Endianness_H */