multi_unlock_all

160

if (!multi_unlock_all(ctrl_ctrl, ctrl_ns, ns_ns)) {

196

if (!multi_unlock_all(ctrl_ctrl, ctrl_ns, ns_ns)) {

232

if (!multi_unlock_all(ctrl_ctrl, ctrl_ns, ns_ns)) {

263

if (!multi_unlock_all(ctrl_ctrl, ctrl_ns, ns_ns)) {

295

if (!multi_unlock_all(ctrl_ctrl, ctrl_ns, ns_ns)) {

327

if (!multi_unlock_all(ctrl_ctrl, ctrl_ns, ns_ns)) {