kempld_read32
EXPORT_SYMBOL_GPL(kempld_read32);
stage_timeout = kempld_read32(pld, KEMPLD_WDT_STAGE_TIMEOUT(stage->id));
extern u32 kempld_read32(struct kempld_device_data *pld, u8 index);