| Juan Pablo Conde | 88ffad2 | 2024-10-11 21:22:29 -0500 | [diff] [blame^] | 1 | /* |
| 2 | * Copyright (c) 2024, Arm Limited. All rights reserved. | ||||
| 3 | * | ||||
| 4 | * SPDX-License-Identifier: BSD-3-Clause | ||||
| 5 | * | ||||
| 6 | */ | ||||
| 7 | |||||
| 8 | #ifndef REALM_HELPERS_H | ||||
| 9 | #define REALM_HELPERS_H | ||||
| 10 | |||||
| 11 | /* Generate 64-bit random number */ | ||||
| 12 | unsigned long long realm_rand64(void); | ||||
| 13 | |||||
| 14 | #endif /* REALM_HELPERS_H */ | ||||
| 15 | |||||