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