95 static void flush_debug_state(struct pkvm_hyp_vcpu *hyp_vcpu)  in flush_debug_state()
107 static void sync_debug_state(struct pkvm_hyp_vcpu *hyp_vcpu)  in sync_debug_state()
117 static void flush_hyp_vcpu(struct pkvm_hyp_vcpu *hyp_vcpu)  in flush_hyp_vcpu()
142 static void sync_hyp_vcpu(struct pkvm_hyp_vcpu *hyp_vcpu)  in sync_hyp_vcpu()
170 	struct pkvm_hyp_vcpu *hyp_vcpu;  in handle___pkvm_vcpu_load()  local
188 	struct pkvm_hyp_vcpu *hyp_vcpu;  in handle___pkvm_vcpu_put()  local
204 		struct pkvm_hyp_vcpu *hyp_vcpu = pkvm_get_loaded_hyp_vcpu();  in handle___kvm_vcpu_run()  local
239 static int pkvm_refill_memcache(struct pkvm_hyp_vcpu *hyp_vcpu)  in pkvm_refill_memcache()
253 	struct pkvm_hyp_vcpu *hyp_vcpu;  in handle___pkvm_host_share_guest()  local
296 	struct pkvm_hyp_vcpu *hyp_vcpu;  in handle___pkvm_host_relax_perms_guest()  local
355 	struct pkvm_hyp_vcpu *hyp_vcpu;  in handle___pkvm_host_mkyoung_guest()  local