Displaying 1 result from an estimated 1 matches for "__coverity_alloc__".
2013 Dec 04
5
[PATCH] coverity: Store the modelling file in the source tree.
...e Xen pagetables, to allow for direct access. Model this as a memory
+ * allocation of exactly 1 page.
+ *
+ * map_domain_page() never fails (It will BUG() before returning NULL), and
+ * will only ever return page aligned addresses.
+ */
+void *map_domain_page(unsigned long mfn)
+{
+ void *p = __coverity_alloc__(PAGE_SIZE);
+
+ assert(p != NULL);
+ assert((p & ~PAGE_MASK) == 0);
+
+ return p;
+}
+
+void *__map_domain_page(struct page_info *page)
+{
+ return map_domain_page(page_to_mfn(page));
+}
+
+/*
+ * unmap_domain_page() will correctly unmap the page, given any virtual
+ * address insid...