Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/tomoyo/common.c tomoyo_io_printf() -> tomoyo_set_string()

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->readbuf_size 1-u64max
PARAM_VALUE 1 string 4096-ptr_max
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 2-3,5-6,9-19,25,28,38,40,43
STR_LEN 0 head 2-3,5-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

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

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_index 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
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
UNITS 1 string unit_byte
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_set_string()

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 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
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
UNITS 1 string unit_byte
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_set_string()

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

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 string 2011738097417072640
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 12
DATA_SOURCE 0 head $0
STR_LEN 0 head 11
TERMINATED 1 string 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_set_string()

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
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
UNITS 1 string unit_byte
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_set_string()

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

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 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
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
UNITS 1 string unit_byte
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_set_string()

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

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 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 string 6557282060885467136
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 5
DATA_SOURCE 0 head $0
STR_LEN 0 head 4
TERMINATED 1 string 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_set_string()

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

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 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 string 3046435758618324992,8713927325951275008
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 2-3
DATA_SOURCE 0 head $0
STR_LEN 0 head 1-2
BIT_INFO 1 string 0x2846142c05643000,0x7aef1fbe8fff3000
TERMINATED 1 string 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_set_string()

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 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
DATA_SOURCE 0 head $0
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_entry() -> tomoyo_set_string()

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
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_entry() -> tomoyo_set_string()

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
PARAM_VALUE 1 string 2805455747515502592
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 26
DATA_SOURCE 0 head $0
STR_LEN 0 head 25
TERMINATED 1 string 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_entry() -> tomoyo_set_string()

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
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
UNITS 1 string unit_byte
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_set_string()

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->r.print_transition_related_only 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
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_entry() -> tomoyo_set_string()

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->r.print_transition_related_only 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
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_entry() -> tomoyo_set_string()

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->r.print_transition_related_only 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
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_entry() -> tomoyo_set_string()

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->r.print_transition_related_only 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
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_entry() -> tomoyo_set_string()

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

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 string 1692999746175836160
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 2
DATA_SOURCE 0 head $0
STR_LEN 0 head 1
TERMINATED 1 string 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_entry() -> tomoyo_set_string()

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
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
UNITS 1 string unit_byte
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_set_string()

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->r.print_transition_related_only 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
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_entry() -> tomoyo_set_string()

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

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->r.print_transition_related_only 0
PARAM_VALUE 0 head->read 1-u64max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
UNITS 1 string unit_byte
LOCK2 global &tomoyo_ss
LOCK2 0 &head->io_sem
TYPE_LOCK (struct tomoyo_io_buffer)->io_sem

security/tomoyo/common.c tomoyo_print_name_union() -> tomoyo_set_string()

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->read 1-u64max
PARAM_VALUE 1 string 1692999746175836160
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 2
DATA_SOURCE 0 head $0
STR_LEN 0 head 1
TERMINATED 1 string 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_name_union() -> tomoyo_set_string()

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->read 1-u64max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
UNITS 1 string unit_byte
LOCK2 global &tomoyo_ss
LOCK2 0 &head->io_sem
TYPE_LOCK (struct tomoyo_io_buffer)->io_sem

security/tomoyo/common.c tomoyo_print_name_union() -> tomoyo_set_string()

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->read 1-u64max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
UNITS 1 string unit_byte
LOCK2 global &tomoyo_ss
LOCK2 0 &head->io_sem
TYPE_LOCK (struct tomoyo_io_buffer)->io_sem

security/tomoyo/common.c tomoyo_print_name_union_quoted() -> tomoyo_set_string()

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.cond_step 1
PARAM_VALUE 0 head->r.eof 0
PARAM_VALUE 0 head->r.print_cond_part 1
PARAM_VALUE 0 head->read 1-u64max
PARAM_VALUE 1 string 1692999746175836160
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 2
DATA_SOURCE 0 head $0
STR_LEN 0 head 1
TERMINATED 1 string 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_print_name_union_quoted() -> tomoyo_set_string()

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.cond_step 1
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
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
USER_DATA 0 head->read_user_buf 4096-ptr_max[c][u]
UNITS 1 string unit_byte
LOCK2 global &tomoyo_ss
LOCK2 0 &head->io_sem
TYPE_LOCK (struct tomoyo_io_buffer)->io_sem

security/tomoyo/common.c tomoyo_print_name_union_quoted() -> tomoyo_set_string()

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.cond_step 1
PARAM_VALUE 0 head->r.eof 0
PARAM_VALUE 0 head->r.print_cond_part 1
PARAM_VALUE 0 head->read 1-u64max
PARAM_VALUE 1 string 5887245694110044160
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 2
DATA_SOURCE 0 head $0
STR_LEN 0 head 1
TERMINATED 1 string 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_print_name_union_quoted() -> tomoyo_set_string()

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.cond_step 1
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
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
USER_DATA 0 head->read_user_buf 4096-ptr_max[c][u]
UNITS 1 string unit_byte
LOCK2 global &tomoyo_ss
LOCK2 0 &head->io_sem
TYPE_LOCK (struct tomoyo_io_buffer)->io_sem

security/tomoyo/common.c tomoyo_print_name_union_quoted() -> tomoyo_set_string()

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.cond_step 1
PARAM_VALUE 0 head->r.eof 0
PARAM_VALUE 0 head->r.print_cond_part 1
PARAM_VALUE 0 head->read 1-u64max
PARAM_VALUE 1 string 5887245694110044160
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 2
DATA_SOURCE 0 head $0
STR_LEN 0 head 1
TERMINATED 1 string 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_print_namespace() -> tomoyo_set_string()

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.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
BUF_SIZE 1 string 9
DATA_SOURCE 0 head $0
STR_LEN 0 head (-1),5,9-10,13
STR_LEN 0 head (-1),5,9-10,13
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_number_union_nospace() -> tomoyo_set_string()

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 string 1692999746175836160
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 2
DATA_SOURCE 0 head $0
STR_LEN 0 head 1
TERMINATED 1 string 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_print_number_union_nospace() -> tomoyo_set_string()

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
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
USER_DATA 0 head->read_user_buf 4096-ptr_max[c][u]
UNITS 1 string unit_byte
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_set_string()

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->r.step 0
PARAM_VALUE 0 head->read 1-u64max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
USER_DATA 0 head->read_user_buf 4096-ptr_max[c][u]
USER_DATA 0 head->read_user_buf_avail 0-1000000000
UNITS 1 string unit_byte
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_set_string()

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->r.step 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
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_group() -> tomoyo_set_string()

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
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
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_set_string()

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
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
FUZZY_MAX 0 head->r.step 11
NOCHECK_CALL
USER_DATA 0 head->read_user_buf 4096-ptr_max[c][u]
USER_DATA 0 head->read_user_buf_avail 0-1000000000
UNITS 1 string unit_byte
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_set_string()

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
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
FUZZY_MAX 0 head->r.step 11
NOCHECK_CALL
UNITS 1 string unit_byte
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_set_string()

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.w_pos 0
PARAM_VALUE 0 head->read 1-u64max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
USER_DATA 0 head->read_user_buf 4096-ptr_max[c][u]
USER_DATA 0 head->read_user_buf_avail 0-1000000000
UNITS 1 string unit_byte
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_set_string()

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
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
USER_DATA 0 head->read_user_buf 4096-ptr_max[c][u]
USER_DATA 0 head->read_user_buf_avail 0-1000000000
UNITS 1 string unit_byte
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_set_string()

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 0-10
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
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_policy() -> tomoyo_set_string()

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 0-10
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
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
STR_LEN 0 head (-1),3
NOCHECK_CALL
USER_DATA 0 head->read_user_buf 4096-ptr_max[c][u]
USER_DATA 0 head->read_user_buf_avail 0-1000000000
UNITS 1 string unit_byte
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_set_string()

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 0-10
PARAM_VALUE 0 head->r.w_pos 0-64
PARAM_VALUE 0 head->read 1-u64max
PARAM_VALUE 1 string 957496480614129664
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 7
DATA_SOURCE 0 head $0
STR_LEN 0 head 6
TERMINATED 1 string 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_policy() -> tomoyo_set_string()

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 0-10
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
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
STR_LEN 0 head (-1),3
NOCHECK_CALL
USER_DATA 0 head->read_user_buf 4096-ptr_max[c][u]
USER_DATA 0 head->read_user_buf_avail 0-1000000000
UNITS 1 string unit_byte
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_set_string()

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 0-10
PARAM_VALUE 0 head->r.w_pos 0-64
PARAM_VALUE 0 head->read 1-u64max
PARAM_VALUE 1 string 1175147187379466240
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 12
DATA_SOURCE 0 head $0
STR_LEN 0 head 11
TERMINATED 1 string 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_policy() -> tomoyo_set_string()

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 0-10
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
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
USER_DATA 0 head->read_user_buf 4096-ptr_max[c][u]
USER_DATA 0 head->read_user_buf_avail 0-1000000000
UNITS 1 string unit_byte
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_set_string()

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 0-10
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
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
NOCHECK_CALL
UNITS 1 string unit_byte
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_set_string()

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
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 1-1000000001,2147479553
DATA_SOURCE 0 head $0
STR_LEN 0 head (-1)-0
NOCHECK_CALL
USER_DATA 0 head->read_user_buf 4096-ptr_max[c][u]
USER_DATA 0 head->read_user_buf_avail 0-1000000000
UNITS 1 string unit_byte
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_set_string()

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 string 7593122352468410368
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 3
DATA_SOURCE 0 head $0
STR_LEN 0 head 2
TERMINATED 1 string 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_set_group() -> tomoyo_set_string()

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.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 1 string 173712160044777472,595291630392713216,1598514699919605760,1974152123119235072,3898967002942779392,4936875678259564544
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 6,10-11,14
BUF_SIZE 1 string 6,10-11,14
DATA_SOURCE 0 head $0
DATA_SOURCE 1 string $1
STR_LEN 0 head 5,9-10,13
STR_LEN 0 head 5,9-10,13
TERMINATED 1 string 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_set_lf() -> tomoyo_set_string()

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.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 string 3018497645153456128
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 2
DATA_SOURCE 0 head $0
STR_LEN 0 head 1
TERMINATED 1 string 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_set_slash() -> tomoyo_set_string()

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.eof 0
PARAM_VALUE 0 head->r.print_cond_part 0
PARAM_VALUE 0 head->read 1-u64max
PARAM_VALUE 1 string 959101290386378752
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 2
DATA_SOURCE 0 head $0
STR_LEN 0 head 1
TERMINATED 1 string 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_set_space() -> tomoyo_set_string()

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.eof 0
PARAM_VALUE 0 head->read 1-u64max
PARAM_VALUE 1 string 4274302372899520512
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 0 head s32min-(-2),1-s32max
BUF_SIZE 1 string 2
DATA_SOURCE 0 head $0
STR_LEN 0 head (-1),5,9-10,13
STR_LEN 0 head (-1),5,9-10,13
STR_LEN 1 string 1
TERMINATED 1 string 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