Searched refs:header_index (Results 1 – 1 of 1) sorted by relevance
1073 my $header_index = shift;1075 die "invalid adt_event_N.h index: $header_index\n"1076 unless ($header_index =~ /^\d+$/);1078 $headers{$header_index} = $header_index;