+msi_vector_t
+isrm_msialloc(isr_cb handler)
+{
+ unsigned int iv = isrm_ivexalloc(handler);
+
+ return (msi_vector_t){
+ .msi_addr = 0xfee00000,
+ .msi_data = iv,
+ .mapped_iv = iv
+ };
+}
+
+int
+isrm_bind_dtnode(struct dt_intr_node* node)
+{
+ fail("not supported");
+}
+