Home
last modified time | relevance | path

Searched refs:sbi_extension_id (Results 1 – 2 of 2) sorted by relevance

/freebsd/sys/riscv/vmm/
H A Dvmm_sbi.c182 int sbi_extension_id; in vmm_sbi_ecall() local
187 sbi_extension_id = hypctx->guest_regs.hyp_a[7]; in vmm_sbi_ecall()
199 switch (sbi_extension_id) { in vmm_sbi_ecall()
/freebsd/usr.sbin/bhyve/riscv/
H A Dvmexit.c310 int sbi_extension_id; in vmexit_ecall() local
317 sbi_extension_id = vme->u.ecall.args[7]; in vmexit_ecall()
318 switch (sbi_extension_id) { in vmexit_ecall()