read_hfi1_efi_var 14759 drivers/infiniband/hw/hfi1/chip.c 	ret = read_hfi1_efi_var(dd, "description", &size,
read_hfi1_efi_var   54 drivers/infiniband/hw/hfi1/efivar.h int read_hfi1_efi_var(struct hfi1_devdata *dd, const char *kind,