Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/video/fbdev/riva/fbdev.c riva_get_EDID_i2c() -> (struct _riva_hw_inst)->LockUnlock()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 1 Lock 0
CONTAINER 0 -264+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pdev->dev.mutex
HALF_LOCKED2 &pool->lock

drivers/video/fbdev/riva/fbdev.c riva_load_state() -> (struct _riva_hw_inst)->LockUnlock()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 1 Lock 0
CONTAINER 0 -264+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 chip->Architecture 0-u32max
HOST_DATA 0 chip->Chipset 0-u32max
HOST_DATA 0 chip->CrystalFreqKHz 0-u32max
HOST_DATA 0 chip->CursorStart 0-u32max
HOST_DATA 0 chip->EnableIRQ 0-u32max
HOST_DATA 0 chip->FifoEmptyCount 0-u32max
HOST_DATA 0 chip->FifoFreeCount 0
HOST_DATA 0 chip->IO 0-u32max
HOST_DATA 0 chip->MaxVClockFreqKHz 0-u32max
HOST_DATA 0 chip->RamAmountKBytes 0-u32max
HOST_DATA 0 chip->RamBandwidthKBytesPerSec 0-u32max
HOST_DATA 0 chip->VBlankBit 0-u32max
HOST_DATA 0 chip->Version 0-u32max
HOST_DATA 0 chip->flatPanel 0-u32max
HOST_DATA 0 chip->twoHeads s32min-s32max
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &par->open_lock

drivers/video/fbdev/riva/fbdev.c riva_load_video_mode() -> (struct _riva_hw_inst)->LockUnlock()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->CurrentState 4096-ptr_max
PARAM_VALUE 0 chip->FifoFreeCount 0
PARAM_VALUE 0 chip->LoadStateExt 4096-ptr_max
PARAM_VALUE 0 chip->LockUnlock 4096-ptr_max
PARAM_VALUE 0 chip->Tri03 0,4096-ptr_max
PARAM_VALUE 0 chip->Tri05 4096-ptr_max
PARAM_VALUE 1 Lock 0
CONTAINER 0 -264+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 chip->Architecture 0-u32max
HOST_DATA 0 chip->Chipset 0-u32max
HOST_DATA 0 chip->CrystalFreqKHz 0-u32max
HOST_DATA 0 chip->CursorStart 0-u32max
HOST_DATA 0 chip->EnableIRQ 0-u32max
HOST_DATA 0 chip->FifoEmptyCount 0-u32max
HOST_DATA 0 chip->FifoFreeCount 0
HOST_DATA 0 chip->IO 0-u32max
HOST_DATA 0 chip->MaxVClockFreqKHz 0-u32max
HOST_DATA 0 chip->RamAmountKBytes 0-u32max
HOST_DATA 0 chip->RamBandwidthKBytesPerSec 0-u32max
HOST_DATA 0 chip->VBlankBit 0-u32max
HOST_DATA 0 chip->Version 0-u32max
HOST_DATA 0 chip->flatPanel 0-u32max
HOST_DATA 0 chip->twoHeads s32min-s32max
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &minfo->crtc2.lock

drivers/video/fbdev/riva/fbdev.c riva_save_state() -> (struct _riva_hw_inst)->LockUnlock()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 1 Lock 0
CONTAINER 0 -264+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &par->open_lock
HALF_LOCKED2 &info->lock
TYPE_LOCK (struct riva_par)->open_lock

drivers/video/fbdev/riva/fbdev.c rivafb_cursor() -> (struct _riva_hw_inst)->LockUnlock()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 1 Lock 0
CONTAINER 0 -264+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &console_sem

drivers/video/fbdev/riva/fbdev.c rivafb_open() -> (struct _riva_hw_inst)->LockUnlock()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 1 Lock 0
CONTAINER 0 -264+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &par->open_lock
HALF_LOCKED2 &info->lock
TYPE_LOCK (struct riva_par)->open_lock

drivers/video/fbdev/riva/fbdev.c rivafb_release() -> (struct _riva_hw_inst)->LockUnlock()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 1 Lock 0
CONTAINER 0 -264+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &par->open_lock
HALF_LOCKED2 &info->lock
TYPE_LOCK (struct riva_par)->open_lock

drivers/video/fbdev/riva/fbdev.c rivafb_release() -> (struct _riva_hw_inst)->LockUnlock()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->CurrentState 4096-ptr_max
PARAM_VALUE 0 chip->FifoFreeCount 0
PARAM_VALUE 0 chip->LoadStateExt 4096-ptr_max
PARAM_VALUE 0 chip->LockUnlock 4096-ptr_max
PARAM_VALUE 0 chip->Tri03 0,4096-ptr_max
PARAM_VALUE 0 chip->Tri05 4096-ptr_max
PARAM_VALUE 1 Lock 1
CONTAINER 0 -264+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 chip->Architecture 0-u32max
HOST_DATA 0 chip->Chipset 0-u32max
HOST_DATA 0 chip->CrystalFreqKHz 0-u32max
HOST_DATA 0 chip->CursorStart 0-u32max
HOST_DATA 0 chip->EnableIRQ 0-u32max
HOST_DATA 0 chip->FifoEmptyCount 0-u32max
HOST_DATA 0 chip->FifoFreeCount 0
HOST_DATA 0 chip->IO 0-u32max
HOST_DATA 0 chip->MaxVClockFreqKHz 0-u32max
HOST_DATA 0 chip->RamAmountKBytes 0-u32max
HOST_DATA 0 chip->RamBandwidthKBytesPerSec 0-u32max
HOST_DATA 0 chip->VBlankBit 0-u32max
HOST_DATA 0 chip->Version 0-u32max
HOST_DATA 0 chip->flatPanel 0-u32max
HOST_DATA 0 chip->twoHeads s32min-s32max
LOCK2 &par->open_lock
HALF_LOCKED2 &info->lock
TYPE_LOCK (struct riva_par)->open_lock

drivers/video/fbdev/riva/fbdev.c rivafb_set_par() -> (struct _riva_hw_inst)->LockUnlock()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 1 Lock 0
CONTAINER 0 -264+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &minfo->crtc2.lock

drivers/video/fbdev/riva/riva_hw.c LoadStateExt() -> (struct _riva_hw_inst)->LockUnlock()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 0 chip->Architecture 16,32,48
PARAM_VALUE 0 chip->PMC 4096-ptr_max
PARAM_VALUE 0 chip->PTIMER 4096-ptr_max
PARAM_VALUE 0 chip->twoHeads s32min-(-1),1-s32max
PARAM_VALUE 1 Lock 0
DATA_SOURCE 0 chip $0
CONTAINER 0 -264+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 chip->Architecture 16,32,48
HOST_DATA 0 chip->Chipset 0-u32max
HOST_DATA 0 chip->CrystalFreqKHz 0-u32max
HOST_DATA 0 chip->CursorStart 0-u32max
HOST_DATA 0 chip->EnableIRQ 0-u32max
HOST_DATA 0 chip->FifoEmptyCount 0-u32max
HOST_DATA 0 chip->FifoFreeCount 0
HOST_DATA 0 chip->IO 0-u32max
HOST_DATA 0 chip->MaxVClockFreqKHz 0-u32max
HOST_DATA 0 chip->RamAmountKBytes 0-u32max
HOST_DATA 0 chip->RamBandwidthKBytesPerSec 0-u32max
HOST_DATA 0 chip->VBlankBit 0-u32max
HOST_DATA 0 chip->Version 0-u32max
HOST_DATA 0 chip->flatPanel 0-u32max
HOST_DATA 0 chip->twoHeads s32min-(-1),1-s32max
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &par->open_lock

drivers/video/fbdev/riva/riva_hw.c SetStartAddress3() -> (struct _riva_hw_inst)->LockUnlock()

Type Parameter Key Value
PARAM_VALUE 0 chip 4096-ptr_max
PARAM_VALUE 1 Lock 0
DATA_SOURCE 0 chip $0
CONTAINER 0 -264+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &info->lock
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 global &console_sem