Symbol: RESERVED_REGISTERS
drivers/infiniband/hw/hfi1/chip.c
8963
read_8051_config(dd, RESERVED_REGISTERS, GENERAL_CONFIG, &frame);
drivers/infiniband/hw/hfi1/chip.c
8967
return load_8051_config(dd, RESERVED_REGISTERS, GENERAL_CONFIG,