blob: a9b2f7c6a7ec2f3673c00ca9f4fbe9274abd97e0 [file] [log] [blame]
/*
* Copyright (c) 2024, Arm Limited. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*
*/
#ifndef REALM_HELPERS_H
#define REALM_HELPERS_H
/* Generate 64-bit random number */
unsigned long long realm_rand64(void);
/*
* Function to enter Aux Plane from Primary Plane
* arg1 == plane index
* arg2 == permission index to be used by plane
* arg3 == base entrypoint
* arg4 == entry flags
* aarg5 == run object, needs to be PAGE aligned
*/
bool realm_plane_enter(u_register_t plane_index, u_register_t perm_index,
u_register_t base, u_register_t flags, rsi_plane_run *run);
/* Function for initializing planes, called at Boot */
void realm_plane_init(void);
#endif /* REALM_HELPERS_H */