⬢ DragonFlyBSD Kernel Audit
DF-2325 / run.log
← back to finding ↓ download raw
log reset
=== BAR scenario ln2size=16 (2^16 bytes) START
DF2325: resource_list_add(type=3 rid=0x10 start=0x40000000 end=0x4000ffff count=0x10000)
DF2325: resource_list_alloc -> NULL (harness)
DF2325: resource_list_delete (reservation failed path)
=== BAR scenario ln2size=16 RETURNED barlen=1 (expected count=0x10000 end=0x4000ffff)
=== BAR scenario ln2size=30 (2^30 bytes) START
DF2325: resource_list_add(type=3 rid=0x10 start=0x40000000 end=0x7fffffff count=0x40000000)
DF2325: resource_list_alloc -> NULL (harness)
DF2325: resource_list_delete (reservation failed path)
=== BAR scenario ln2size=30 RETURNED barlen=1 (expected count=0x40000000 end=0x7fffffff)
=== BAR scenario ln2size=31 (2^31 bytes) START
DF2325: resource_list_add(type=3 rid=0x10 start=0x40000000 end=0xffffffffbfffffff count=0xffffffff80000000)
DF2325: resource_list_alloc -> NULL (harness)
DF2325: resource_list_delete (reservation failed path)
=== BAR scenario ln2size=31 RETURNED barlen=1 (expected count=0x80000000 end=0xbfffffff)
=== BAR scenario ln2size=31 (2^31 bytes) START
DF2325: resource_list_add(type=3 rid=0x10 start=0x40000000 end=0xffffffffbfffffff count=0xffffffff80000000)
DF2325: REAL resource_list_add accepted the range; entry now in list
DF2325: resource_list_alloc -> NULL (harness)
DF2325: resource_list_delete (reservation failed path)
=== BAR scenario ln2size=31 RETURNED barlen=1 (expected count=0x80000000 end=0xbfffffff)