Symbol: VM_ASSERT_IRQ
sys/arm64/include/vmm_dev.h
250
#define VM_ASSERT_IRQ \
sys/riscv/include/vmm_dev.h
243
#define VM_ASSERT_IRQ \