Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/memstick/core/ms_block.c h_msb_parallel_switch() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->regs.param.system 0-247
PARAM_VALUE 1 error s32min-(-1),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
BIT_INFO 0 msb->regs.param.system 0x0,0xf7
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_parallel_switch() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->state 2
PARAM_VALUE 1 error 0
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_read_page() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 1 error s32min-(-1),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_read_page() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->regs.status.interrupt 1-255
PARAM_VALUE 0 msb->state 3
PARAM_VALUE 1 error (-5)
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_read_page() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->state 9
PARAM_VALUE 1 error 0
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
BIT_INFO 0 msb->regs.status.interrupt 0x0,0xbf
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_read_page() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->regs.status.interrupt 64-255
PARAM_VALUE 0 msb->regs.status.status1 1-255
PARAM_VALUE 0 msb->state 9
PARAM_VALUE 1 error (-74)
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
BIT_INFO 0 msb->regs.status.interrupt 0x40,0xff
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_read_page() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->regs.status.interrupt 64-255
PARAM_VALUE 0 msb->regs.status.status1 2-255
PARAM_VALUE 0 msb->state 9
PARAM_VALUE 1 error (-117)
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
BIT_INFO 0 msb->regs.status.interrupt 0x40,0xff
BIT_INFO 0 msb->regs.status.status1 0x0,0xea
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_read_page() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->regs.status.interrupt 64-255
PARAM_VALUE 0 msb->state 9
PARAM_VALUE 1 error (-5)
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
BIT_INFO 0 msb->regs.status.interrupt 0x40,0xff
BIT_INFO 0 msb->regs.status.status1 0x0,0xc0
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_reset() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 1 error s32min-(-1),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_reset() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->state 1
PARAM_VALUE 1 error 0
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_send_command() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 1 error s32min-(-1),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_send_command() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->state 4
PARAM_VALUE 1 error (-5)
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_send_command() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->state 4
PARAM_VALUE 1 error (-74)
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_send_command() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->state 4
PARAM_VALUE 1 error 0
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_write_block() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 1 error s32min-(-1),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_write_block() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->regs.status.interrupt 1-255
PARAM_VALUE 0 msb->state 4
PARAM_VALUE 1 error (-5)
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_write_block() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->regs.status.interrupt 64-255
PARAM_VALUE 0 msb->state 4
PARAM_VALUE 1 error (-74)
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_write_block() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->regs.status.interrupt 128-255
PARAM_VALUE 0 msb->state 4
PARAM_VALUE 1 error 0
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
CAPPED_DATA 0 msb->current_page 1
CAPPED_DATA 0 msb->pages_in_block 1
PARAM_COMPARE 0 msb->current_page == $0->pages_in_block
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags

drivers/memstick/core/ms_block.c h_msb_write_block() -> msb_exit_state_machine()

Type Parameter Key Value
PARAM_VALUE 0 msb 4096-ptr_max
PARAM_VALUE 0 msb->page_size 1-u16max
PARAM_VALUE 0 msb->state 5
PARAM_VALUE 1 error (-5)
BUF_SIZE 0 msb s32min-(-2),1-s32max
BUF_SIZE 0 msb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msb unit_byte
HALF_LOCKED2 &dev->io_thread_lock
HALF_LOCKED2 &fm->lock
HALF_LOCKED2 &host->host_mutex
HALF_LOCKED2 &host->lock
HALF_LOCKED2 &sock->lock
HALF_LOCKED2 flags