1/*
2 * Copyright (c) 2015-2016, ARM Limited and Contributors. All rights reserved.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7#include <arch.h>
8#include <asm_macros.S>
9
10	.globl	nvg_set_request_data
11	.globl	nvg_set_request
12	.globl	nvg_get_result
13
14/* void nvg_set_request_data(uint64_t req, uint64_t data) */
15func nvg_set_request_data
16	msr	s3_0_c15_c1_2, x0
17	msr	s3_0_c15_c1_3, x1
18	ret
19endfunc nvg_set_request_data
20
21/* void nvg_set_request(uint64_t req) */
22func nvg_set_request
23	msr	s3_0_c15_c1_2, x0
24	ret
25endfunc nvg_set_request
26
27/* uint64_t nvg_get_result(void) */
28func nvg_get_result
29	mrs	x0, s3_0_c15_c1_3
30	ret
31endfunc nvg_get_result
32