HFI1_DEFAULT_MAX_MTU
unsigned int hfi1_max_mtu = HFI1_DEFAULT_MAX_MTU;
HFI1_DEFAULT_MAX_MTU));
hfi1_max_mtu, HFI1_DEFAULT_MAX_MTU);
hfi1_max_mtu = HFI1_DEFAULT_MAX_MTU;