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