wapbl_replay_isopen
if (wapbl_replay_isopen(wapbl_replay))
if (!wapbl_replay || !wapbl_replay_isopen(wapbl_replay))
if (!wapbl_replay_isopen(wr))
KDASSERT(!wapbl_replay_isopen(wr));
return wapbl_replay_isopen(wr);
KDASSERT(wapbl_replay_isopen(wr));
KDASSERT(wapbl_replay_isopen(wr));
KDASSERT(wapbl_replay_isopen(wr));
KDASSERT(wapbl_replay_isopen(wr));
KDASSERT(!wapbl_replay_isopen(wr));