inp_locked
if (!inp_locked(inp)) {
KASSERT(inp_locked(inp));
if (!inp_locked(inp)) {
KASSERT(inp_locked(inp));
KASSERT(inp_locked(inp));
KASSERT(inp_locked(pcbsp->sp_inp));
KASSERT(inp_locked(pcbsp->sp_inp));
KASSERT(inp_locked(pcbsp->sp_inp));
KASSERT(inp_locked(pcbsp->sp_inp));
KASSERT(inp_locked(pcbsp->sp_inp));
KASSERT(inp_locked(inp));
KASSERT(inp_locked(pcbsp->sp_inp));