/* SPDX-License-Identifier: GPL-2.0-or-later */
#ifndef _S390X_UV_H_
#define _S390X_UV_H_

#include <sie.h>
#include <asm/pgtable.h>

bool uv_os_is_guest(void);
bool uv_os_is_host(void);
bool uv_host_requirement_checks(void);
bool uv_query_test_call(unsigned int nr);
const struct uv_cb_qui *uv_get_query_data(void);
void uv_init(void);
int uv_setup(void);
void uv_create_guest(struct vm *vm);
void uv_destroy_guest(struct vm *vm);
int uv_unpack(struct vm *vm, uint64_t addr, uint64_t len, uint64_t tweak);
void uv_verify_load(struct vm *vm);

/*
 * To run PV guests we need to setup a few things:
 * - A valid primary ASCE that contains the guest memory and has the P bit set.
 * - A valid home space ASCE for the UV calls that use home space addresses.
 */
static inline void uv_setup_asces(void)
{
	uint64_t asce;

	/* We need to have a valid primary ASCE to run guests. */
	setup_vm();

	/* Grab the ASCE which setup_vm() just set up */
	asce = stctg(1);

	/* Copy ASCE into home space CR */
	lctlg(13, asce);
}

static inline bool uv_validity_check(struct vm *vm)
{
	uint16_t vir = sie_get_validity(vm);

	return vm->sblk->icptcode == ICPT_VALIDITY && (vir & 0xff00) == 0x2000;
}

#endif /* UV_H */