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);