===== variant=f2319 scenario=nullderef_a =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_a: entering verbatim pccard_read_cis()
SCENARIO nullderef_a: returned normally. card->error=1 bus_reads=4 flag_switches=2
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER nullderef_a: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=0 pf=0 other=0 | kfree cfe=0 pf=0 other=0 | LIVE cfe=0 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO nullderef_a: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_a: child_exit=0
===== variant=f2319 scenario=nullderef_b =====
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_b: entering verbatim pccard_read_cis()
SCENARIO nullderef_b: returned normally. card->error=1 bus_reads=29 flag_switches=2
OOB: 0 out-of-mapping bus reads
CARD: functions=0 cis1_major=-1 manufacturer=0xffffffff product=0xffffffff
LEDGER nullderef_b: sizeof(cfe)=160 sizeof(pf)=216 | alloc cfe=1 pf=1 other=0 | kfree cfe=0 pf=1 other=0 | LIVE cfe=1 pf=0 other=0
TEARDOWN: harness drained 0 cfe + pf chain (pccard.c:317-324 semantics)
SCENARIO nullderef_b: exit 0
RIG: sizeof(struct pccard_config_entry)=160 sizeof(struct pccard_function)=216 offsetof(pf, cfe_head)=40
SCENARIO nullderef_b: child_exit=0