system/memserv/dataspace.h

113     @param offset Offset into the ram dataspace.
114     @return CPtr to frame if there's a page at the given offset in the given dataspace,
117 seL4_CPtr ram_dspace_check_page(struct ram_dspace *dataspace, uint32_t offset);
119 /*! @brief Retrieves a page at a given offset. If the page hasn't been created, it will be
122     @param offset Offset into the ram dataspace.
123     @return CPtr to frame if success, 0 if offset invalid or out of memory. No ownership transfer.
125 seL4_CPtr ram_dspace_get_page(struct ram_dspace *dataspace, uint32_t offset);
174     @param offset The offset into the dataspace to read from.
177 int ram_dspace_read(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset);
183     @param offset The offset into the dataspace to write to.
186 int ram_dspace_write(char *buf, size_t len, struct ram_dspace *dataspace, uint32_t offset);
198 /*! @brief Returns whether content initialisation is needed for the given offset.
200     @param offset The offset into the dataspace to get content init state for.
201     @return TRUE if need content init at given offset, FALSE if already initialised, or -refos_error
202             if content init is not enabled for the given dataspace, or if offset is invalid.
204 int ram_dspace_need_content_init(struct ram_dspace *dataspace, uint32_t offset);
208     Adds a new content-init waiter at the given offset to this dataspace. When the content
212     @param offset The offset at which the client is waiting for, into the dataspace.
216 int ram_dspace_add_content_init_waiter(struct ram_dspace *dataspace, uint32_t offset,
221     @param offset The offset at which the client is waiting for, into the dataspace.
225                                                            uint32_t offset);
227 /*! @brief Wakes up any waiters waiting at this offset.
229     Wakes up any waiter clients waiting at this offset for content-init. This does NOT set the
239     @param offset The offset at which the clients are waiting for, into the dataspace.
241 void ram_dspace_content_init_reply_waiters(struct ram_dspace *dataspace, uint32_t offset);
243 /*! @brief Set the content-init page of dataspace at offset to be provided.
245     Set the provided bitmask flag of the dataspace at the offset to be TRUE, meaning that that page
252     @param offset The offset into the dataspace to get content init state for.
254 void ram_dspace_set_content_init_provided(struct ram_dspace *dataspace, uint32_t offset);