File firmwarekit-fix-rpmlint.patch of Package firmwarekit

---
 dmar/dmar.c |    4 +++-
 virt/virt.c |    2 ++
 2 files changed, 5 insertions(+), 1 deletion(-)

--- a/dmar/dmar.c
+++ b/dmar/dmar.c
@@ -241,6 +241,8 @@ static int acpi_parse_one_rmrr(struct ac
 		((void*)rmrr) + header->length, rmrr->segment);
 }
 
+extern char *copy_acpi_table(void *address, char *name);
+
 static int dmar_acpi_table_check(void)
 {
 	unsigned long address;
@@ -261,7 +263,7 @@ static int dmar_acpi_table_check(void)
 		goto out;
 	}
 
-	table_ptr = copy_acpi_table(address, "DMAR");
+	table_ptr = copy_acpi_table((void *)address, "DMAR");
 	if (table_ptr == NULL) {
 		report_result("DMAR", FAIL, "Invalid DMAR ACPI table size", NULL, NULL);
 		goto out;
--- a/virt/virt.c
+++ b/virt/virt.c
@@ -77,6 +77,8 @@ int main(int argc, char **argv)
 	else if (is_intel()) {
 	  return do_virt_check_vmx();
 	}
+
+	return 0;
 }