Displaying 1 result from an estimated 1 matches for "__coverity_free__".
2013 Dec 04
5
[PATCH] coverity: Store the modelling file in the source tree.
...info *page)
+{
+ return map_domain_page(page_to_mfn(page));
+}
+
+/*
+ * unmap_domain_page() will correctly unmap the page, given any virtual
+ * address inside the page.
+ */
+void unmap_domain_page(const void *va)
+{
+ const void *v = (const void*)((unsigned long)va & PAGE_MASK);
+
+ __coverity_free__(v);
+}
+
+/*
+ * Local variables:
+ * mode: C
+ * c-file-style: "BSD"
+ * c-basic-offset: 4
+ * tab-width: 4
+ * indent-tabs-mode: nil
+ * End:
+ */
--
1.7.10.4