>OTOH I cannot understand why port->capmask is defined as uint64_t and >not as 32-bit. Kernel uses 32-bit value and it is shown in this file as >0x%0x. > >What about to convert type of port->capmask to uint32_t? I think that makes the most sense.