guidh             447 drivers/fpga/dfl-afu-main.c 	u64 guidl, guidh;
guidh             458 drivers/fpga/dfl-afu-main.c 	guidh = readq(base + GUID_H);
guidh             461 drivers/fpga/dfl-afu-main.c 	return scnprintf(buf, PAGE_SIZE, "%016llx%016llx\n", guidh, guidl);