Lines Matching +full:ctx +full:- +full:asid
1 /*-
2 * SPDX-License-Identifier: BSD-2-Clause
68 uint64_t asid __unused; in vmm_sbi_handle_rfnc()
71 func_id = hypctx->guest_regs.hyp_a[6]; in vmm_sbi_handle_rfnc()
72 hart_mask = hypctx->guest_regs.hyp_a[0]; in vmm_sbi_handle_rfnc()
73 start = hypctx->guest_regs.hyp_a[2]; in vmm_sbi_handle_rfnc()
74 size = hypctx->guest_regs.hyp_a[3]; in vmm_sbi_handle_rfnc()
75 asid = hypctx->guest_regs.hyp_a[4]; in vmm_sbi_handle_rfnc()
93 hypctx->guest_regs.hyp_a[0] = 0; in vmm_sbi_handle_rfnc()
111 func_id = hypctx->guest_regs.hyp_a[6]; in vmm_sbi_handle_ipi()
112 hart_mask = hypctx->guest_regs.hyp_a[0]; in vmm_sbi_handle_ipi()
116 hyp = hypctx->hyp; in vmm_sbi_handle_ipi()
118 active_cpus = vm_active_cpus(hyp->vm); in vmm_sbi_handle_ipi()
123 hart_id = (bit - 1); in vmm_sbi_handle_ipi()
127 target_vcpu = vm_vcpu(hyp->vm, hart_id); in vmm_sbi_handle_ipi()
128 target_hypctx = hypctx->hyp->ctx[hart_id]; in vmm_sbi_handle_ipi()
136 ret = -1; in vmm_sbi_handle_ipi()
140 hypctx->guest_regs.hyp_a[0] = ret; in vmm_sbi_handle_ipi()
152 sbi_extension_id = hypctx->guest_regs.hyp_a[7]; in vmm_sbi_ecall()
155 hypctx->guest_regs.hyp_a[0], in vmm_sbi_ecall()
156 hypctx->guest_regs.hyp_a[1], in vmm_sbi_ecall()
157 hypctx->guest_regs.hyp_a[2], in vmm_sbi_ecall()
158 hypctx->guest_regs.hyp_a[3], in vmm_sbi_ecall()
159 hypctx->guest_regs.hyp_a[4], in vmm_sbi_ecall()
160 hypctx->guest_regs.hyp_a[5], in vmm_sbi_ecall()
161 hypctx->guest_regs.hyp_a[6], in vmm_sbi_ecall()
162 hypctx->guest_regs.hyp_a[7]); in vmm_sbi_ecall()