RESERVED_REGISTERS 8932 drivers/infiniband/hw/hfi1/chip.c 	read_8051_config(dd, RESERVED_REGISTERS, GENERAL_CONFIG, &frame);
RESERVED_REGISTERS 8936 drivers/infiniband/hw/hfi1/chip.c 	return load_8051_config(dd, RESERVED_REGISTERS, GENERAL_CONFIG,