vmetwo_softintr_assert
_softintr_chipset_assert = vmetwo_softintr_assert;
static void vmetwo_softintr_assert(void);