Software APIs
hardened.c
1// Copyright lowRISC contributors (OpenTitan project).
2// Licensed under the Apache License, Version 2.0, see LICENSE for details.
3// SPDX-License-Identifier: Apache-2.0
4
6
7// `extern` declarations to give the inline functions in the corresponding
8// header a link location.
9
10extern uint32_t launder32(uint32_t);
11extern uintptr_t launderw(uintptr_t);
12extern void barrier32(uint32_t);
13extern void barrierw(uintptr_t);
14
15extern ct_bool32_t ct_sltz32(int32_t);
16extern ct_bool32_t ct_sltu32(uint32_t, uint32_t);
17extern ct_bool32_t ct_sgeu32(uint32_t, uint32_t);
18extern ct_bool32_t ct_seqz32(uint32_t);
19extern ct_bool32_t ct_seq32(uint32_t, uint32_t);
20extern uint32_t ct_cmov32(ct_bool32_t, uint32_t, uint32_t);
21
22extern ct_boolw_t ct_sltzw(intptr_t);
23extern ct_boolw_t ct_sltuw(uintptr_t, uintptr_t);
24extern ct_boolw_t ct_sgeuw(uintptr_t, uintptr_t);
25extern ct_boolw_t ct_seqzw(uintptr_t);
26extern ct_boolw_t ct_seqw(uintptr_t, uintptr_t);
27extern uintptr_t ct_cmovw(ct_boolw_t, uintptr_t, uintptr_t);