userclk_freqsts   328 drivers/fpga/dfl-afu-main.c 	u64 userclk_freqsts;
userclk_freqsts   334 drivers/fpga/dfl-afu-main.c 	userclk_freqsts = readq(base + PORT_HDR_USRCLK_STS0);
userclk_freqsts   337 drivers/fpga/dfl-afu-main.c 	return sprintf(buf, "0x%llx\n", (unsigned long long)userclk_freqsts);
userclk_freqsts   339 drivers/fpga/dfl-afu-main.c static DEVICE_ATTR_RO(userclk_freqsts);