PCI_DVSEC_HEADER1_LEN
regloc_size = PCI_DVSEC_HEADER1_LEN(regloc_size);
header.length = PCI_DVSEC_HEADER1_LEN(hdr);
header.length = PCI_DVSEC_HEADER1_LEN(hdr);
return PCI_DVSEC_HEADER1_LEN(dword);