sys/amd64/vmm/io/vrtc.c

154

KASSERT(VRTC_LOCKED(vrtc), ("%s: vrtc not locked", __func__));

sys/amd64/vmm/io/vrtc.c

188

KASSERT(VRTC_LOCKED(vrtc), ("%s: vrtc not locked", __func__));

sys/amd64/vmm/io/vrtc.c

292

KASSERT(VRTC_LOCKED(vrtc), ("%s: vrtc not locked", __func__));

sys/amd64/vmm/io/vrtc.c

407

KASSERT(VRTC_LOCKED(vrtc), ("%s: vrtc not locked", __func__));

sys/amd64/vmm/io/vrtc.c

501

KASSERT(VRTC_LOCKED(vrtc), ("%s: vrtc not locked", __func__));

sys/amd64/vmm/io/vrtc.c

526

KASSERT(VRTC_LOCKED(vrtc), ("%s: vrtc not locked", __func__));

sys/amd64/vmm/io/vrtc.c

597

KASSERT(VRTC_LOCKED(vrtc), ("%s: vrtc not locked", __func__));

sys/amd64/vmm/io/vrtc.c

637

KASSERT(VRTC_LOCKED(vrtc), ("%s: vrtc not locked", __func__));

sys/amd64/vmm/io/vrtc.c

710

KASSERT(VRTC_LOCKED(vrtc), ("%s: vrtc not locked", __func__));