data_vio_has_allocation
if (data_vio_has_allocation(data_vio)) {
VDO_ASSERT_LOG_ONLY(data_vio_has_allocation(data_vio),
if (!data_vio_has_allocation(data_vio)) {
!data_vio_has_allocation(data_vio)) {
if (!data_vio_has_allocation(agent)) {
if (!data_vio_has_allocation(agent)) {
lock->update_advice = !data_vio_has_allocation(agent);
(data_vio_has_allocation(data_vio) ? UDS_POST : UDS_QUERY));
} else if (data_vio_has_allocation(data_vio)) {