/*
 * Copyright (c) 2019, NVIDIA CORPORATION. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#include <arch.h>
#include <asm_macros.S>

	.globl	nvg_set_request_data
	.globl	nvg_set_request
	.globl	nvg_get_result

/* void nvg_set_request_data(uint64_t req, uint64_t data) */
func nvg_set_request_data
	msr	s3_0_c15_c1_2, x0
	msr	s3_0_c15_c1_3, x1
	ret
endfunc nvg_set_request_data

/* void nvg_set_request(uint64_t req) */
func nvg_set_request
	msr	s3_0_c15_c1_2, x0
	ret
endfunc nvg_set_request

/* uint64_t nvg_get_result(void) */
func nvg_get_result
	mrs	x0, s3_0_c15_c1_3
	ret
endfunc nvg_get_result
