Defined in 1 files as a macro:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/time/timer_list.c print_base() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 1 fmt 1361337634716004352
BUF_SIZE 1 fmt 19
DATA_SOURCE 0 m $0
DATA_SOURCE 2 $ $1
STR_LEN 0 m 18
TERMINATED 1 fmt 1
NOCHECK_CALL

kernel/time/timer_list.c print_base() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 14365260615081984
BUF_SIZE 1 fmt 19
DATA_SOURCE 0 m $0
STR_LEN 0 m 18
TERMINATED 1 fmt 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_base() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 3174706399061512192
BUF_SIZE 1 fmt 25
DATA_SOURCE 0 m $0
STR_LEN 0 m 24
TERMINATED 1 fmt 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_base() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 1905889927323164672
BUF_SIZE 1 fmt 27
DATA_SOURCE 0 m $0
STR_LEN 0 m 26
TERMINATED 1 fmt 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_base() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 7854461659003867136
BUF_SIZE 1 fmt 16
DATA_SOURCE 0 m $0
STR_LEN 0 m 15
TERMINATED 1 fmt 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 1 fmt 8389476588693082112
BUF_SIZE 1 fmt 9
DATA_SOURCE 0 m $0
DATA_SOURCE 2 $ $1
STR_LEN 0 m 8
TERMINATED 1 fmt 1
NOCHECK_CALL

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 1217828003786555392
PARAM_VALUE 2 $ 0-7
BUF_SIZE 1 fmt 12
DATA_SOURCE 0 m $0
FUZZY_MAX 2 $ 7
STR_LEN 0 m 11
TERMINATED 1 fmt 1
HARD_MAX 2 $ 7
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 7918740239361359872
PARAM_VALUE 2 $ 8309207673943154688
PARAM_VALUE 3 $ 0-s64max
BUF_SIZE 1 fmt 22
BUF_SIZE 2 $ 13
DATA_SOURCE 0 m $0
STR_LEN 0 m 21
STR_LEN 1 fmt 12
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 2183813586972499968
PARAM_VALUE 2 $ 643796647443546112
PARAM_VALUE 3 $ 0-1
BUF_SIZE 1 fmt 16
BUF_SIZE 2 $ 12
DATA_SOURCE 0 m $0
STR_LEN 0 m 15
STR_LEN 1 fmt 11
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 2183813586972499968
PARAM_VALUE 2 $ 845392672635101184
PARAM_VALUE 3 $ 0-u32max
BUF_SIZE 1 fmt 16
BUF_SIZE 2 $ 10
DATA_SOURCE 0 m $0
STR_LEN 0 m 15
STR_LEN 1 fmt 9
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 2183813586972499968
PARAM_VALUE 2 $ 6467839019829202944
PARAM_VALUE 3 $ 0
BUF_SIZE 1 fmt 16
BUF_SIZE 2 $ 11
DATA_SOURCE 0 m $0
STR_LEN 0 m 15
STR_LEN 1 fmt 10
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 2183813586972499968
PARAM_VALUE 2 $ 7584341799572271104
PARAM_VALUE 3 $ 0-u16max
BUF_SIZE 1 fmt 16
BUF_SIZE 2 $ 9
DATA_SOURCE 0 m $0
STR_LEN 0 m 15
STR_LEN 1 fmt 8
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 2183813586972499968
PARAM_VALUE 2 $ 364599050587779072
PARAM_VALUE 3 $ 0-u32max
BUF_SIZE 1 fmt 16
BUF_SIZE 2 $ 14
DATA_SOURCE 0 m $0
STR_LEN 0 m 15
STR_LEN 1 fmt 13
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 7894977151650574336
PARAM_VALUE 2 $ 6012654016627142656
PARAM_VALUE 3 $ 0-1
BUF_SIZE 1 fmt 14
BUF_SIZE 2 $ 5
DATA_SOURCE 0 m $0
FUZZY_MAX 3 $ 1
STR_LEN 0 m 13
STR_LEN 1 fmt 4
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
HARD_MAX 3 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 7894977151650574336
PARAM_VALUE 2 $ 2385037698982064128
PARAM_VALUE 3 $ 0-1
BUF_SIZE 1 fmt 14
BUF_SIZE 2 $ 8
DATA_SOURCE 0 m $0
FUZZY_MAX 3 $ 1
STR_LEN 0 m 13
STR_LEN 1 fmt 7
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
HARD_MAX 3 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 7918740239361359872
PARAM_VALUE 2 $ 6178803226382544896
BUF_SIZE 1 fmt 22
BUF_SIZE 2 $ 10
DATA_SOURCE 0 m $0
STR_LEN 0 m 21
STR_LEN 1 fmt 9
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 7894977151650574336
PARAM_VALUE 2 $ 1916032776367173632
PARAM_VALUE 3 $ 0-1
BUF_SIZE 1 fmt 14
BUF_SIZE 2 $ 13
DATA_SOURCE 0 m $0
FUZZY_MAX 3 $ 1
STR_LEN 0 m 13
STR_LEN 1 fmt 12
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
HARD_MAX 3 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 2183813586972499968
PARAM_VALUE 2 $ 6633989217444511744
BUF_SIZE 1 fmt 16
BUF_SIZE 2 $ 11
DATA_SOURCE 0 m $0
STR_LEN 0 m 15
STR_LEN 1 fmt 10
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 2183813586972499968
PARAM_VALUE 2 $ 3672940875157266432
BUF_SIZE 1 fmt 16
BUF_SIZE 2 $ 12
DATA_SOURCE 0 m $0
STR_LEN 0 m 15
STR_LEN 1 fmt 11
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 7918740239361359872
PARAM_VALUE 2 $ 3814227918881804288
BUF_SIZE 1 fmt 22
BUF_SIZE 2 $ 15
DATA_SOURCE 0 m $0
STR_LEN 0 m 21
STR_LEN 1 fmt 14
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 7918740239361359872
PARAM_VALUE 2 $ 6568400181575507968
BUF_SIZE 1 fmt 22
BUF_SIZE 2 $ 14
DATA_SOURCE 0 m $0
STR_LEN 0 m 21
STR_LEN 1 fmt 13
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 2183813586972499968
PARAM_VALUE 2 $ 747682616259239936
BUF_SIZE 1 fmt 16
BUF_SIZE 2 $ 13
DATA_SOURCE 0 m $0
STR_LEN 0 m 15
STR_LEN 1 fmt 12
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 2183813586972499968
PARAM_VALUE 2 $ 6075896229457965056
BUF_SIZE 1 fmt 16
BUF_SIZE 2 $ 11
DATA_SOURCE 0 m $0
STR_LEN 0 m 15
STR_LEN 1 fmt 10
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 7918740239361359872
PARAM_VALUE 2 $ 1650274857379987456
PARAM_VALUE 3 $ 0-s64max
BUF_SIZE 1 fmt 22
BUF_SIZE 2 $ 13
DATA_SOURCE 0 m $0
STR_LEN 0 m 21
STR_LEN 1 fmt 12
TERMINATED 1 fmt 1
TERMINATED 2 $ 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 1678962526691041280
BUF_SIZE 1 fmt 15
DATA_SOURCE 0 m $0
STR_LEN 0 m 14
TERMINATED 1 fmt 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count
UNITS 2 $ unit_jiffy

kernel/time/timer_list.c print_cpu() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 3018497645153456128
BUF_SIZE 1 fmt 2
DATA_SOURCE 0 m $0
STR_LEN 0 m 1
TERMINATED 1 fmt 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->count 0-999999999
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 8884025808247312384
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 27
CAPPED_DATA 0 m->count 1
DATA_SOURCE 0 m $0
STR_LEN 0 m 26
TERMINATED 1 fmt 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 1911056433596899328
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 18
DATA_SOURCE 0 m $0
STR_LEN 0 m 17
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 7744609173144141824
PARAM_VALUE 2 $ 0-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 20
DATA_SOURCE 0 m $0
DATA_SOURCE 2 $ $2
STR_LEN 0 m 19
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 8429848001362956288
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 21
DATA_SOURCE 0 m $0
STR_LEN 0 m 20
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 1272746017752379392
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 8
DATA_SOURCE 0 m $0
STR_LEN 0 m 7
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 6907577036787400704
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 4
BUF_SIZE 2 $ s32min,(-10),1-s32max
DATA_SOURCE 0 m $0
STR_LEN 0 m 3
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 6335151066909548544
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 23
DATA_SOURCE 0 m $0
STR_LEN 0 m 22
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 8624495213424336896
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 23
DATA_SOURCE 0 m $0
STR_LEN 0 m 22
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 4502144954738581504
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 21
DATA_SOURCE 0 m $0
STR_LEN 0 m 20
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 3750485643355680768
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 21
DATA_SOURCE 0 m $0
STR_LEN 0 m 20
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 7363723999961255936
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 21
DATA_SOURCE 0 m $0
STR_LEN 0 m 20
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 4969704947525046272
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 29
DATA_SOURCE 0 m $0
STR_LEN 0 m 28
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
UNITS 2 $ unit_array_size
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 497618831744966656
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 22
DATA_SOURCE 0 m $0
STR_LEN 0 m 21
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 8489892587873263616
PARAM_VALUE 2 $ 1-u64max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 22
DATA_SOURCE 0 m $0
STR_LEN 0 m 21
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 4997225629244559360
PARAM_VALUE 2 $ 1-u64max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 22
DATA_SOURCE 0 m $0
STR_LEN 0 m 21
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 622346505654525952
PARAM_VALUE 2 $ 1-u64max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 22
DATA_SOURCE 0 m $0
STR_LEN 0 m 21
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 5714331622518337536
PARAM_VALUE 2 $ 1-u64max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 23
DATA_SOURCE 0 m $0
STR_LEN 0 m 22
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 7221382557211680768
PARAM_VALUE 2 $ 1-u64max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 22
DATA_SOURCE 0 m $0
STR_LEN 0 m 21
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 1414706747657535488
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 22
DATA_SOURCE 0 m $0
STR_LEN 0 m 21
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 3018497645153456128
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 2
DATA_SOURCE 0 m $0
STR_LEN 0 m 1
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 4957276180429037568
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 22
DATA_SOURCE 0 m $0
STR_LEN 0 m 21
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 4002123063762247680
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 19
BUF_SIZE 2 $ s32min,(-10),1-s32max
DATA_SOURCE 0 m $0
STR_LEN 0 m 18
STR_LEN 1 fmt (-1),6
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_tickdevice() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 3018497645153456128
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 2
DATA_SOURCE 0 m $0
STR_LEN 0 m 1
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c print_timer() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 1 fmt 5285335975971762176
BUF_SIZE 1 fmt 16
DATA_SOURCE 0 m $0
DATA_SOURCE 2 $ $3
DATA_SOURCE 3 $ $1
STR_LEN 0 m 15
TERMINATED 1 fmt 1
NOCHECK_CALL

kernel/time/timer_list.c print_timer() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 7595614765189566464
BUF_SIZE 1 fmt 9
DATA_SOURCE 0 m $0
STR_LEN 0 m 8
TERMINATED 1 fmt 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_timer() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 3018497645153456128
BUF_SIZE 1 fmt 2
DATA_SOURCE 0 m $0
STR_LEN 0 m 1
TERMINATED 1 fmt 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c print_timer() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 4486717526311936000
BUF_SIZE 1 fmt 55
DATA_SOURCE 0 m $0
STR_LEN 0 m 54
TERMINATED 1 fmt 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c timer_list_header() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 1 fmt 7835242970671812608
BUF_SIZE 1 fmt 27
DATA_SOURCE 0 m $0
STR_LEN 0 m 26
TERMINATED 1 fmt 1
NOCHECK_CALL

kernel/time/timer_list.c timer_list_header() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 4020640945172774912
PARAM_VALUE 2 $ 8
BUF_SIZE 1 fmt 29
DATA_SOURCE 0 m $0
STR_LEN 0 m 28
TERMINATED 1 fmt 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c timer_list_header() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 3845890488141074432
BUF_SIZE 1 fmt 19
DATA_SOURCE 0 m $0
DATA_SOURCE 2 $ $1
STR_LEN 0 m 18
TERMINATED 1 fmt 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c timer_list_header() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 1 fmt 3018497645153456128
BUF_SIZE 1 fmt 2
DATA_SOURCE 0 m $0
STR_LEN 0 m 1
TERMINATED 1 fmt 1
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 m->count

kernel/time/timer_list.c timer_list_show_tickdevices_header() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 1876536266969243648
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 27
BUF_SIZE 3 $ 1024
DATA_SOURCE 0 m $0
STR_LEN 0 m 26
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c timer_list_show_tickdevices_header() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 6420828377189072896
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 35
BUF_SIZE 3 $ 1024
DATA_SOURCE 0 m $0
STR_LEN 0 m 34
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock

kernel/time/timer_list.c timer_list_show_tickdevices_header() -> SEQ_printf()

Type Parameter Key Value
PARAM_VALUE 0 m 0,4096-ptr_max
PARAM_VALUE 0 m->buf 1-u64max
PARAM_VALUE 0 m->from 0
PARAM_VALUE 0 m->lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 m->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 m->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 m->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 m->lock.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 m->lock.wait_lock.owner (-1)
PARAM_VALUE 0 m->lock.wait_lock.owner_cpu u32max
PARAM_VALUE 0 m->op 4096-ptr_max
PARAM_VALUE 1 fmt 3018497645153456128
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m s32min-(-1),1-s32max
BUF_SIZE 0 m->buf (-1)-2147479552
BUF_SIZE 1 fmt 2
DATA_SOURCE 0 m $0
STR_LEN 0 m 1
TERMINATED 1 fmt 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 m->read_pos 0-13442450941
NO_OVERFLOW_SIMPLE 0 m->count
HALF_LOCKED2 0 &m->lock