pkvm_handle_t
pkvm_handle_t handle;
void __pkvm_unreserve_vm(pkvm_handle_t handle);
int __pkvm_init_vcpu(pkvm_handle_t handle, struct kvm_vcpu *host_vcpu,
int __pkvm_teardown_vm(pkvm_handle_t handle);
struct pkvm_hyp_vcpu *pkvm_load_hyp_vcpu(pkvm_handle_t handle,
struct pkvm_hyp_vm *get_pkvm_hyp_vm(pkvm_handle_t handle);
struct pkvm_hyp_vm *get_np_pkvm_hyp_vm(pkvm_handle_t handle);
DECLARE_REG(pkvm_handle_t, handle, host_ctxt, 1);
DECLARE_REG(pkvm_handle_t, handle, host_ctxt, 1);
DECLARE_REG(pkvm_handle_t, handle, host_ctxt, 1);
DECLARE_REG(pkvm_handle_t, handle, host_ctxt, 1);
DECLARE_REG(pkvm_handle_t, handle, host_ctxt, 1);
DECLARE_REG(pkvm_handle_t, handle, host_ctxt, 1);
DECLARE_REG(pkvm_handle_t, handle, host_ctxt, 1);
DECLARE_REG(pkvm_handle_t, handle, host_ctxt, 1);
static unsigned int vm_handle_to_idx(pkvm_handle_t handle)
static pkvm_handle_t idx_to_vm_handle(unsigned int idx)
static struct pkvm_hyp_vm *get_vm_by_handle(pkvm_handle_t handle)
struct pkvm_hyp_vcpu *pkvm_load_hyp_vcpu(pkvm_handle_t handle,
struct pkvm_hyp_vm *get_pkvm_hyp_vm(pkvm_handle_t handle)
struct pkvm_hyp_vm *get_np_pkvm_hyp_vm(pkvm_handle_t handle)
unsigned int nr_vcpus, pkvm_handle_t handle)
static int __insert_vm_table_entry(pkvm_handle_t handle,
static int insert_vm_table_entry(pkvm_handle_t handle,
static void remove_vm_table_entry(pkvm_handle_t handle)
void __pkvm_unreserve_vm(pkvm_handle_t handle)
pkvm_handle_t handle;
int __pkvm_init_vcpu(pkvm_handle_t handle, struct kvm_vcpu *host_vcpu,
int __pkvm_teardown_vm(pkvm_handle_t handle)
pkvm_handle_t handle = vcpu->kvm->arch.pkvm.handle;
pkvm_handle_t handle = kvm->arch.pkvm.handle;
pkvm_handle_t handle = kvm->arch.pkvm.handle;
pkvm_handle_t handle = kvm->arch.pkvm.handle;