POC_BUILD_OK
--- run 1 ---
mode=vkernel victim.lo=1 victim.hi=2 callback_critcount=1 callback_torn=1
INVARIANT_BROKEN (IPI callback ran inside the critical section: torn state + lost update)
RC_VKERNEL=1
mode=pc64 victim.lo=1 victim.hi=1 callback_critcount=0 callback_torn=0
INVARIANT_OK
RC_PC64=0
--- run 2 ---
mode=vkernel victim.lo=1 victim.hi=2 callback_critcount=1 callback_torn=1
INVARIANT_BROKEN (IPI callback ran inside the critical section: torn state + lost update)
RC_VKERNEL=1
mode=pc64 victim.lo=1 victim.hi=1 callback_critcount=0 callback_torn=0
INVARIANT_OK
RC_PC64=0
--- run 3 ---
mode=vkernel victim.lo=1 victim.hi=2 callback_critcount=1 callback_torn=1
INVARIANT_BROKEN (IPI callback ran inside the critical section: torn state + lost update)
RC_VKERNEL=1
mode=pc64 victim.lo=1 victim.hi=1 callback_critcount=0 callback_torn=0
INVARIANT_OK
RC_PC64=0