1// Copyright 2017 The Fuchsia Authors 2// 3// Use of this source code is governed by a MIT-style 4// license that can be found in the LICENSE file or at 5// https://opensource.org/licenses/MIT 6 7#pragma once 8 9#include <stddef.h> 10#include <stdint.h> 11 12#include <platform.h> 13 14static inline bool jent_have_clock(void) { 15 return true; 16} 17 18static inline void jent_get_nstime(uint64_t* out) { 19 *out = current_time(); 20} 21 22static inline void* jent_zalloc(size_t len) { 23 return NULL; 24} 25 26static inline void jent_zfree(void* ptr, size_t len) { 27} 28 29static inline int jent_fips_enabled(void) { 30 return 0; 31} 32 33static inline uint64_t rol64(uint64_t x, uint32_t n) { 34 return (x<<n) | (x>>(64-n)); 35} 36