/* This can hold 16 bytes of OS-Dependent data.  */
static ssize_t pdcs_osdep1_read(struct kobject *kobj, struct kobj_attribute *attr, char *buf)
/* This can hold 16 bytes of OS-Dependent data.  */
static ssize_t pdcs_osdep1_read(struct kobject *kobj, struct kobj_attribute *attr, char *buf)
{
	char *out = buf;
	u32 result[4];
	if (!buf)
		return -EINVAL;
	if (pdc_stable_read(PDCS_ADDR_OSD1, &result, sizeof(result)) != PDC_OK)
		return -EIO;
	out += sprintf(out, "0x%.8x\n", result[0]);
	out += sprintf(out, "0x%.8x\n", result[1]);
	out += sprintf(out, "0x%.8x\n", result[2]);
	out += sprintf(out, "0x%.8x\n", result[3]);
	return out - buf;
}