VIO_READ_LOCK
VIO_READ_LOCK, &lock);
[VIO_READ_LOCK] = {
.type = VIO_READ_LOCK,
return has_lock_type(lock, VIO_READ_LOCK);
set_pbn_lock_type(lock, VIO_READ_LOCK);