| 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); |
| Shruti Gupta | 5abab76 | 2024-11-27 04:57:53 +0000 | [diff] [blame] | 13 | /* |
| 14 | * Function to enter Aux Plane from Primary Plane |
| 15 | * arg1 == plane index |
| 16 | * arg2 == permission index to be used by plane |
| 17 | * arg3 == base entrypoint |
| 18 | * arg4 == entry flags |
| 19 | * aarg5 == run object, needs to be PAGE aligned |
| 20 | */ |
| 21 | bool realm_plane_enter(u_register_t plane_index, u_register_t perm_index, |
| 22 | u_register_t base, u_register_t flags, rsi_plane_run *run); |
| 23 | |
| 24 | /* Function for initializing planes, called at Boot */ |
| 25 | void realm_plane_init(void); |
| Juan Pablo Conde | 88ffad2 | 2024-10-11 21:22:29 -0500 | [diff] [blame] | 26 | |
| 27 | #endif /* REALM_HELPERS_H */ |
| 28 | |