libdriverkit: adding missing header file changes
@@ -24,6 +24,13 @@ errval_t driverkit_hwmodel_frame_alloc(struct capref *dst,
size_t bytes, int32_t dstnode,
int32_t *nodes);
+errval_t driverkit_hwmodel_get_map_conf(struct capref dst,
+ int32_t nodeid,
+ char *ret_conf_buf, size_t ret_conf_size,
+ genpaddr_t *ret_addr);
+
+
+
errval_t driverkit_hwmodel_vspace_map(int32_t nodeid, struct capref frame,
vregion_flags_t flags, struct dmem *dmem);
@@ -40,6 +47,9 @@ errval_t driverkit_hwmodel_vspace_map_fixed(int32_t nodeid,
*/
errval_t driverkit_hwmodel_vspace_alloc(struct capref frame,
int32_t nodeid, genvaddr_t *addr);
+errval_t driverkit_hwmode_vspace_get_vaddr(struct capref frame,
+ int32_t nodeid, genvaddr_t *addr,
+ bool *already_mapped);
int32_t driverkit_hwmodel_get_my_node_id(void);
int32_t driverkit_hwmodel_lookup_dram_node_id(void);
@@ -50,10 +60,6 @@ errval_t driverkit_hwmodel_reverse_resolve(struct capref dst,
int32_t nodeid,
genpaddr_t *ret_addr);
-errval_t driverkit_hwmodel_alias_conf(struct capref dst,
- int32_t nodeid,
- char *ret_conf, size_t ret_conf_size,
- genpaddr_t *ret_addr);
