Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/selinux/ss/ebitmap.c ebitmap_and() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 0 e->highbit 1-u32max
PARAM_VALUE 1 n 803375519942561792
PARAM_VALUE 1 *n 4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
CAPPED_DATA 2 bit 1
DATA_SOURCE 0 e $1
PARAM_COMPARE 2 bit < $0->highbit
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

security/selinux/ss/ebitmap.c ebitmap_write() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 0 e->highbit 1-u32max
PARAM_VALUE 1 n 6054172929862955008
PARAM_VALUE 1 *n 4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
CAPPED_DATA 2 bit 1
DATA_SOURCE 0 e $0
PARAM_COMPARE 2 bit < $0->highbit
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/ebitmap.c ebitmap_write() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 0 e->highbit 1-u32max
PARAM_VALUE 1 n 6054172929862955008
PARAM_VALUE 1 *n 4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
CAPPED_DATA 0 e->highbit 1
CAPPED_DATA 2 bit 1
DATA_SOURCE 0 e $0
DATA_SOURCE 2 bit r ebitmap_start_positive
PARAM_COMPARE 2 bit < $0->highbit
RX_PATH
TASK_NOT_RUNNING
UNITS 2 bit unit_byte
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/services.c context_struct_compute_av() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 0 e->highbit 1-u32max
PARAM_VALUE 1 n 8679268685109567488
PARAM_VALUE 1 *n 4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
CAPPED_DATA 2 bit 1
PARAM_COMPARE 2 bit < $0->highbit
RX_PATH
TASK_NOT_RUNNING
UNITS 2 bit unit_byte
HALF_LOCKED2 rcu_read

security/selinux/ss/services.c context_struct_compute_av() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 0 e->highbit 1-u32max
PARAM_VALUE 1 n 9194091407843487744
PARAM_VALUE 1 *n 4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
CAPPED_DATA 2 bit 1
PARAM_COMPARE 2 bit < $0->highbit
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

security/selinux/ss/services.c security_compute_xperms_decision() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 0 e->highbit 1-u32max
PARAM_VALUE 1 n 6604880882326634496
PARAM_VALUE 1 *n 4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
CAPPED_DATA 2 bit 1
PARAM_COMPARE 2 bit < $0->highbit
UNITS 2 bit unit_byte
LOCK2 rcu_read

security/selinux/ss/services.c security_compute_xperms_decision() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 0 e->highbit 1-u32max
PARAM_VALUE 1 n 574081785030336512
PARAM_VALUE 1 *n 4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
CAPPED_DATA 2 bit 1
PARAM_COMPARE 2 bit < $0->highbit
LOCK2 rcu_read

security/selinux/ss/services.c security_load_policycaps() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 1 n 6207125139326775296
PARAM_VALUE 1 *n 0,4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
CAPPED_DATA 2 bit 1
FUZZY_MAX 2 bit 15
UNITS 2 bit unit_byte
LOCK2 global &selinux_state.policy_mutex
TYPE_LOCK (struct selinux_state)->policy_mutex

security/selinux/ss/policydb.c filename_write_helper_compat() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 1 n 4267579409489100800
PARAM_VALUE 1 *n 0,4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
CAPPED_DATA 2 bit 1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 bit unit_byte
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/policydb.c role_bounds_sanity_check() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 1 n 5871558532925448192
PARAM_VALUE 1 *n 0,4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
CAPPED_DATA 2 bit 1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 bit unit_byte
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/policydb.c sens_cat_index_check() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 1 n 1522749489420374016
PARAM_VALUE 1 *n 0,4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
CAPPED_DATA 2 bit 1
CONSTRAINT 2 bit <3068
RX_PATH
TASK_NOT_RUNNING
UNITS 2 bit unit_byte
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/policydb.c user_bounds_sanity_check() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 1 n 1991784686000574464
PARAM_VALUE 1 *n 0,4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
CAPPED_DATA 2 bit 1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 bit unit_byte
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/mls.c mls_compute_context_len() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 0 e->highbit 1-u32max
PARAM_VALUE 1 n 9003093657243209728
PARAM_VALUE 1 *n 4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
BUF_SIZE 0 e 16
CAPPED_DATA 2 bit 1
PARAM_COMPARE 0 e->highbit > $2
PARAM_COMPARE 2 bit < $0->highbit
RX_PATH
TASK_NOT_RUNNING
UNITS 2 bit unit_byte
HALF_LOCKED2 rcu_read

security/selinux/ss/mls.c mls_convert_context() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 1 n 1883719906217144320
PARAM_VALUE 1 *n 0,4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
CAPPED_DATA 2 bit 1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 bit unit_byte
HALF_LOCKED2 &s->lock
HALF_LOCKED2 flags

security/selinux/ss/mls.c mls_sid_to_context() -> ebitmap_next_positive()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-ptr_max
PARAM_VALUE 0 e->highbit 1-u32max
PARAM_VALUE 1 n 8915198277682941952
PARAM_VALUE 1 *n 4096-ptr_max
PARAM_VALUE 2 bit 0-4294967294
BUF_SIZE 0 e 16
CAPPED_DATA 2 bit 1
PARAM_COMPARE 0 e->highbit > $2
PARAM_COMPARE 2 bit < $0->highbit
RX_PATH
TASK_NOT_RUNNING
UNITS 2 bit unit_byte
HALF_LOCKED2 rcu_read