Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/sched/build_policy.c account_system_time() -> account_guest_time()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->flags 1-u32max
PARAM_VALUE 1 cputime 1-4000000
DATA_SOURCE 0 p $0
DATA_SOURCE 1 cputime $2
BIT_INFO 0 p->flags 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte

kernel/sched/build_policy.c irqtime_account_process_tick() -> account_guest_time()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->flags 1-u32max
PARAM_VALUE 1 cputime 1-4000000
DATA_SOURCE 0 p $0
BIT_INFO 0 p->flags 0x1,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 p unit_byte