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