21 lines
537 B
C
21 lines
537 B
C
/* SPDX-License-Identifier: GPL-2.0-only */
|
|
/*
|
|
* Copyright (c) 2026 Qualcomm Technologies, Inc.
|
|
*/
|
|
|
|
#ifndef __KVM_RISCV_ISA_H
|
|
#define __KVM_RISCV_ISA_H
|
|
|
|
#include <linux/types.h>
|
|
|
|
unsigned long kvm_riscv_base2isa_ext(unsigned long base_ext);
|
|
|
|
int __kvm_riscv_isa_check_host(unsigned long ext, unsigned long *base_ext);
|
|
#define kvm_riscv_isa_check_host(ext) \
|
|
__kvm_riscv_isa_check_host(KVM_RISCV_ISA_EXT_##ext, NULL)
|
|
|
|
bool kvm_riscv_isa_enable_allowed(unsigned long ext);
|
|
bool kvm_riscv_isa_disable_allowed(unsigned long ext);
|
|
|
|
#endif
|