tomoyo_flush identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

security/tomoyo/common.c, line 198

Defined in 1 files as a function:

security/tomoyo/common.c, line 205 (as a function)

Referenced in 1 files:

security/tomoyo/common.c

Smatch caller information:

security/tomoyo/common.c tomoyo_print_condition() -> tomoyo_flush()

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.cond_index	0-65534
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
BUF_SIZE	0	head	s32min-(-2),1-s32max
BUF_SIZE	0	head	s32min-(-2),1-s32max
CAPPED_DATA	0	head->r.cond_index	1
DATA_SOURCE	0	head	$0
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_condition() -> tomoyo_flush()

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.cond_step	2
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
BUF_SIZE	0	head	s32min-(-2),1-s32max
BUF_SIZE	0	head	s32min-(-2),1-s32max
DATA_SOURCE	0	head	$0
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_flush()

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.eof	0
PARAM_VALUE	0	head->r.print_cond_part	0
PARAM_VALUE	0	head->read	1-u64max
BUF_SIZE	0	head	s32min-(-2),1-s32max
BUF_SIZE	0	head	s32min-(-2),1-s32max
DATA_SOURCE	0	head	$0
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_flush()

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.cond_step	0
PARAM_VALUE	0	head->r.eof	0
PARAM_VALUE	0	head->r.print_cond_part	1
PARAM_VALUE	0	head->read	1-u64max
BUF_SIZE	0	head	s32min-(-2),1-s32max
BUF_SIZE	0	head	s32min-(-2),1-s32max
DATA_SOURCE	0	head	$0
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_control() -> tomoyo_flush()

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.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->read	1-u64max
PARAM_VALUE	0	head->read_user_buf_avail	0-1000000000,2147479552
BUF_SIZE	0	head	s32min-(-2),1-s32max
BUF_SIZE	0	head	s32min-(-2),1-s32max
CAPPED_DATA	0	&head->io_sem	1
DATA_SOURCE	0	head	$0
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_control() -> tomoyo_flush()

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.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->read	1-u64max
BUF_SIZE	0	head	s32min-(-2),1-s32max
BUF_SIZE	0	head	s32min-(-2),1-s32max
CAPPED_DATA	0	&head->io_sem	1
DATA_SOURCE	0	head	$0
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_domain() -> tomoyo_flush()

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
BUF_SIZE	0	head	s32min-(-2),1-s32max
BUF_SIZE	0	head	s32min-(-2),1-s32max
DATA_SOURCE	0	head	$0
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_flush()

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	11-13
PARAM_VALUE	0	head->read	1-u64max
BUF_SIZE	0	head	s32min-(-2),1-s32max
BUF_SIZE	0	head	s32min-(-2),1-s32max
DATA_SOURCE	0	head	$0
FUZZY_MAX	0	head->r.step	11
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_manager() -> tomoyo_flush()

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
BUF_SIZE	0	head	s32min-(-2),1-s32max
BUF_SIZE	0	head	s32min-(-2),1-s32max
DATA_SOURCE	0	head	$0
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_policy() -> tomoyo_flush()

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	0-10
PARAM_VALUE	0	head->read	1-u64max
BUF_SIZE	0	head	s32min-(-2),1-s32max
BUF_SIZE	0	head	s32min-(-2),1-s32max
DATA_SOURCE	0	head	$0
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_flush()

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
BUF_SIZE	0	head	s32min-(-2),1-s32max
BUF_SIZE	0	head	s32min-(-2),1-s32max
DATA_SOURCE	0	head	$0
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_set_string() -> tomoyo_flush()

Type	Parameter	Key	Value
PARAM_VALUE	0	head	4096-ptr_max
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.owner	(-1)
PARAM_VALUE	0	head->io_sem.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	head->r.w	4096-ptr_max
PARAM_VALUE	0	head->r.w_pos	0-64
BUF_SIZE	0	head	s32min-(-2),1-s32max
BUF_SIZE	0	head	s32min-(-2),1-s32max
BUF_SIZE	0	head->r.domain	(-1)-0,16
BUF_SIZE	0	head->w.ns	(-1),6400
DATA_SOURCE	0	head	$0
STR_LEN	0	head	(-1)-6,9-19,25,28,38,40,43
STR_LEN	0	head	(-1)-6,9-19,25,28,38,40,43
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