extern void edac_device_workq_teardown(struct edac_device_ctl_info *edac_dev);
extern void edac_device_reset_delay_period(struct edac_device_ctl_info
*edac_dev, unsigned long value);
+extern void *edac_align_ptr(void *ptr, unsigned size);
/*
* EDAC PCI functions