Searched refs:sbi_extension_id (Results 1 – 2 of 2) sorted by relevance
182 int sbi_extension_id; in vmm_sbi_ecall() local187 sbi_extension_id = hypctx->guest_regs.hyp_a[7]; in vmm_sbi_ecall()199 switch (sbi_extension_id) { in vmm_sbi_ecall()
310 int sbi_extension_id; in vmexit_ecall() local317 sbi_extension_id = vme->u.ecall.args[7]; in vmexit_ecall()318 switch (sbi_extension_id) { in vmexit_ecall()