::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::   bz1414043 coverage -- "Session topology" test fails with some CPUs disabled
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::

:: [ 12:53:54 ] :: [   PASS   ] :: bz1414043 test (should PASS) (Expected 0, got 0)
:: [ 12:53:54 ] :: [   PASS   ] :: Turning the cpu1 back on (Expected 0, got 0)
::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
::   Duration: 0s
::   Assertions: 2 good, 0 bad
::   RESULT: PASS (bz1414043 coverage -- "Session topology" test fails with some CPUs disabled)