ap_write_to_binary_file
int ap_write_to_binary_file(struct acpi_table_header *table, u32 instance);
return (ap_write_to_binary_file(table, instance));