Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
security/tomoyo/common.c tomoyo_print_condition() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.avail | 0 |
| PARAM_VALUE | 0 | head->r.cond_step | 1 |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.print_cond_part | 1 |
| PARAM_VALUE | 0 | head->r.w_pos | 0-64 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 4564390060015202304 |
| PARAM_VALUE | 3 | $ | 4602998933304729600,5353863720255873024 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 19 |
| BUF_SIZE | 3 | $ | 1-2 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 18 |
| STR_LEN | 1 | fmt | 0-1 |
| BIT_INFO | 3 | $ | 0xa40222001216000,0x7fedbfb465b3e000 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 3 | $ | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_print_condition() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.avail | 0 |
| PARAM_VALUE | 0 | head->r.cond_step | 1 |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.print_cond_part | 1 |
| PARAM_VALUE | 0 | head->r.w_pos | 0-64 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 8789460106836652032 |
| PARAM_VALUE | 2 | $ | 4602998933304729600,5353863720255873024 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 6 |
| BUF_SIZE | 2 | $ | 1-2 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 5 |
| STR_LEN | 1 | fmt | 0-1 |
| BIT_INFO | 2 | $ | 0xa40222001216000,0x7fedbfb465b3e000 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 2 | $ | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_print_condition() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.avail | 0 |
| PARAM_VALUE | 0 | head->r.cond_step | 3 |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.print_cond_part | 1 |
| PARAM_VALUE | 0 | head->r.w_pos | 0 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 2519169092606980096 |
| PARAM_VALUE | 2 | $ | 4787106843992539136,7793167388111626240 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 14 |
| BUF_SIZE | 2 | $ | 3-4 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 13 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| USER_DATA | 0 | head->read_user_buf_avail | 0-1000000000 |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_print_config() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.step | 3-4 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 261550146168635392 |
| PARAM_VALUE | 3 | $ | 4787106843992539136,7793167388111626240 |
| PARAM_VALUE | 4 | $ | 4787106843992539136,7793167388111626240 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 41 |
| BUF_SIZE | 3 | $ | 3-4 |
| BUF_SIZE | 4 | $ | 3-4 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 40 |
| BIT_INFO | 3 | $ | 0x0,0x7fffffffffffffff |
| BIT_INFO | 4 | $ | 0x0,0x7fffffffffffffff |
| TERMINATED | 1 | fmt | 1 |
| HARD_MAX | 0 | head->r.step | 4 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| USER_DATA | 0 | head->read_user_buf_avail | 0-1000000000 |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_print_entry() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.raw_lock.val.counter | 0-s32max |
| PARAM_VALUE | 0 | head->r.avail | 0 |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.print_cond_part | 0 |
| PARAM_VALUE | 0 | head->r.print_transition_related_only | 0 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 8347350738675638272 |
| PARAM_VALUE | 2 | $ | 8470826544490938368 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 3 |
| BUF_SIZE | 2 | $ | 128 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 2 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_print_number_union_nospace() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 8347350738675638272 |
| PARAM_VALUE | 2 | $ | 4096-ptr_max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 3 |
| BUF_SIZE | 2 | $ | 128 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 2 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 2 | $ | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_domain() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.avail | 0 |
| PARAM_VALUE | 0 | head->r.domain | 0-6569779298322583551,6569779298322583553-u64max |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.step | 0 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 4368698539481141248 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 16 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 15 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_domain() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.domain | 0-6569779298322583551,6569779298322583553-u64max |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 5581597490081202176 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 14 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 13 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| USER_DATA | 0 | head->read_user_buf_avail | 0-1000000000 |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_group() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.avail | 0 |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.step | 11-13 |
| PARAM_VALUE | 0 | head->r.w_pos | 0-64 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 2744101949660733440 |
| PARAM_VALUE | 2 | $ | 7237305372474437632 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 4 |
| BUF_SIZE | 2 | $ | 128 |
| DATA_SOURCE | 0 | head | $0 |
| FUZZY_MAX | 0 | head->r.step | 11 |
| STR_LEN | 0 | head | 3 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| USER_DATA | 0 | head->read_user_buf_avail | 0-1000000000 |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_pid() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.eof | 1 |
| PARAM_VALUE | 0 | head->r.w_pos | 0 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 0 | head->write_buf | 1-u64max |
| PARAM_VALUE | 1 | fmt | 9210958950610501632 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 7 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 6 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| USER_DATA | 0 | head->read_user_buf_avail | 0-1000000000 |
| NO_OVERFLOW_SIMPLE | 2 | $ | |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_profile() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.step | 0 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 8976853643275771904 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 20 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 19 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| USER_DATA | 0 | head->read_user_buf_avail | 0-1000000000 |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_profile() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.step | 2 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 5469381644660563968 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 12 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 11 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| USER_DATA | 0 | head->read_user_buf_avail | 0-1000000000 |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_profile() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.avail | 0 |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.step | 2 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 252699899117006848 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 17 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 16 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_profile() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.step | 2 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 7359112772763525120 |
| PARAM_VALUE | 3 | $ | 1024,2048 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 7 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 6 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_profile() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.step | 3 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 5628761222796759040 |
| PARAM_VALUE | 3 | $ | 7318194152271962112 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 6 |
| BUF_SIZE | 3 | $ | 7 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 5 |
| STR_LEN | 1 | fmt | 6 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 3 | $ | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| USER_DATA | 0 | head->read_user_buf_avail | 0-1000000000 |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_profile() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.bit | 0-38 |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.step | 4 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 4843351767371206656 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 18 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 17 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| USER_DATA | 0 | head->read_user_buf_avail | 0-1000000000 |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_profile() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.bit | 39-41 |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.step | 4 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 219145699351769088 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 14 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 13 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| USER_DATA | 0 | head->read_user_buf_avail | 0-1000000000 |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_stat() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 4190305177604775936 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 18 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 17 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| USER_DATA | 0 | head->read_user_buf_avail | 0-1000000000 |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_stat() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 4767509238679343104 |
| PARAM_VALUE | 3 | $ | 0-14,247-255 |
| PARAM_VALUE | 4 | $ | 1-31 |
| PARAM_VALUE | 6 | $ | 0-59 |
| PARAM_VALUE | 7 | $ | 0-59 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 39 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 38 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| USER_DATA | 0 | head->read_user_buf_avail | 0-1000000000 |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_stat() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.avail | 0 |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 8297191387387432960 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 26 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 25 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_stat() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 9079276164758106112 |
| PARAM_VALUE | 2 | $ | 1-u32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 15 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 14 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_stat() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.avail | 0 |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 6789745329320288256 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 44 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 43 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_read_version() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 1 | fmt | 3516511272182263808 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 6 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 5 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| USER_DATA | 0 | head->read_user_buf_avail | 0-1000000000 |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_select_domain() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.print_this_domain_only | 1 |
| PARAM_VALUE | 0 | head->read_buf | 1-u64max |
| PARAM_VALUE | 0 | head->read_user_buf_avail | 0 |
| PARAM_VALUE | 0 | head->type | 0 |
| PARAM_VALUE | 0 | head->w.avail | 0 |
| PARAM_VALUE | 0 | head->write | 1-u64max |
| PARAM_VALUE | 1 | fmt | 5687710371747319808 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head->r.domain | 0,16 |
| BUF_SIZE | 0 | head->w.ns | (-1),6400 |
| BUF_SIZE | 1 | fmt | 13 |
| DATA_SOURCE | 0 | head | $0 |
| DATA_SOURCE | 2 | $ | $1 [m] |
| STR_LEN | 0 | head | 12 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 2 | $ | 1 |
| MEM_ZERO | 0 | &head->r | |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_select_domain() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.domain | 1-u64max |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.print_this_domain_only | 1 |
| PARAM_VALUE | 0 | head->read_buf | 1-u64max |
| PARAM_VALUE | 0 | head->read_user_buf_avail | 0 |
| PARAM_VALUE | 0 | head->type | 0 |
| PARAM_VALUE | 0 | head->w.avail | 0 |
| PARAM_VALUE | 0 | head->w.domain | 4096-ptr_max |
| PARAM_VALUE | 0 | head->write | 1-u64max |
| PARAM_VALUE | 1 | fmt | 2339797219097219072 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head->r.domain | 16 |
| BUF_SIZE | 0 | head->w.ns | (-1),6400 |
| BUF_SIZE | 1 | fmt | 29 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 28 |
| TERMINATED | 1 | fmt | 1 |
| MEM_ZERO | 0 | &head->r | |
| NOCHECK_CALL | |||
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |
security/tomoyo/common.c tomoyo_set_group() -> tomoyo_io_printf()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | head | 4096-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter | 0,4096-5159360019465732095,5159360019465732097-ptr_max |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | head->io_sem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | head->io_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | head->r.avail | 0 |
| PARAM_VALUE | 0 | head->r.eof | 0 |
| PARAM_VALUE | 0 | head->r.print_cond_part | 0 |
| PARAM_VALUE | 0 | head->r.w_pos | 0-64 |
| PARAM_VALUE | 0 | head->read | 1-u64max |
| PARAM_VALUE | 0 | head->type | 1 |
| PARAM_VALUE | 1 | fmt | 1422754816347918336 |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | head | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | fmt | 14 |
| DATA_SOURCE | 0 | head | $0 |
| STR_LEN | 0 | head | 5,9-10,13 |
| STR_LEN | 0 | head | 5,9-10,13 |
| STR_LEN | 1 | fmt | 13 |
| TERMINATED | 1 | fmt | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | head->read_user_buf | 4096-ptr_max[c][u] |
| USER_DATA | 0 | head->read_user_buf_avail | 0-1000000000 |
| LOCK2 | global &tomoyo_ss | ||
| LOCK2 | 0 | &head->io_sem | |
| TYPE_LOCK | (struct tomoyo_io_buffer)->io_sem |