blob: da09b53e1817f0d27b429ea799704dca9bbb271a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
|
/*
* Copyright (c) 2022, Arm Limited. All rights reserved.
*
* SPDX-License-Identifier: BSD-3-Clause
*/
#include <string.h>
#include <host_shared_data.h>
/**
* @brief - Returns the base address of the shared region
* @param - Void
* @return - Base address of the shared region
**/
static host_shared_data_t *guest_shared_data;
/*
* Set guest mapped shared buffer pointer
*/
void realm_set_shared_structure(host_shared_data_t *ptr)
{
guest_shared_data = ptr;
}
/*
* Get guest mapped shared buffer pointer
*/
host_shared_data_t *realm_get_shared_structure(void)
{
return guest_shared_data;
}
/*
* Return Host's data at index
*/
u_register_t realm_shared_data_get_host_val(uint8_t index)
{
return guest_shared_data->host_param_val[(index >= MAX_DATA_SIZE) ?
(MAX_DATA_SIZE - 1) : index];
}
/*
* Get command sent from Host to realm
*/
uint8_t realm_shared_data_get_realm_cmd(void)
{
return guest_shared_data->realm_cmd;
}
|
