Searched defs:sbi_extension_id (Results 1 – 2 of 2) sorted by relevance
| /freebsd/sys/riscv/vmm/ | ||
| H A D | vmm_sbi.c | 182 int sbi_extension_id; in vmm_sbi_ecall() local |
| /freebsd/usr.sbin/bhyve/riscv/ | ||
| H A D | vmexit.c | 310 int sbi_extension_id; in vmexit_ecall() local |