Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

arch/x86/kernel/mpparse.c replace_intsrc_all() -> skip_entry()

Type Parameter Key Value
PARAM_VALUE 0 ptr 3646758411255095296
PARAM_VALUE 0 *ptr 4096-ptr_max
PARAM_VALUE 1 count 7409012581521948672
PARAM_VALUE 1 *count 44,52,64
PARAM_VALUE 2 size 20
NOCHECK_CALL
UNITS 2 size unit_byte

arch/x86/kernel/mpparse.c replace_intsrc_all() -> skip_entry()

Type Parameter Key Value
PARAM_VALUE 0 ptr 3646758411255095296
PARAM_VALUE 0 *ptr 4096-ptr_max
PARAM_VALUE 1 count 7409012581521948672
PARAM_VALUE 1 *count 44,52
PARAM_VALUE 2 size 8
NOCHECK_CALL
UNITS 2 size unit_byte

arch/x86/kernel/mpparse.c replace_intsrc_all() -> skip_entry()

Type Parameter Key Value
PARAM_VALUE 0 ptr 3646758411255095296
PARAM_VALUE 0 *ptr 4096-ptr_max
PARAM_VALUE 1 count 7409012581521948672
PARAM_VALUE 1 *count 44,52
PARAM_VALUE 2 size 8
NOCHECK_CALL
UNITS 2 size unit_byte

arch/x86/kernel/mpparse.c replace_intsrc_all() -> skip_entry()

Type Parameter Key Value
PARAM_VALUE 0 ptr 3646758411255095296
PARAM_VALUE 0 *ptr 4096-ptr_max
PARAM_VALUE 1 count 7409012581521948672
PARAM_VALUE 1 *count 44,52
PARAM_VALUE 2 size 8
NOCHECK_CALL
UNITS 2 size unit_byte

arch/x86/kernel/mpparse.c replace_intsrc_all() -> skip_entry()

Type Parameter Key Value
PARAM_VALUE 0 ptr 3646758411255095296
PARAM_VALUE 0 *ptr 4096-ptr_max
PARAM_VALUE 1 count 7409012581521948672
PARAM_VALUE 1 *count 44,52
PARAM_VALUE 2 size 8
NOCHECK_CALL
UNITS 2 size unit_byte

arch/x86/kernel/mpparse.c smp_read_mpc() -> skip_entry()

Type Parameter Key Value
PARAM_VALUE 0 ptr 6074823791365353472
PARAM_VALUE 0 *ptr 4096-ptr_max
PARAM_VALUE 1 count 1540744469699076096
PARAM_VALUE 1 *count 44-65534
PARAM_VALUE 2 size 20
NOCHECK_CALL
UNITS 2 size unit_byte
LOCK2 irq

arch/x86/kernel/mpparse.c smp_read_mpc() -> skip_entry()

Type Parameter Key Value
PARAM_VALUE 0 ptr 6074823791365353472
PARAM_VALUE 0 *ptr 4096-ptr_max
PARAM_VALUE 1 count 1540744469699076096
PARAM_VALUE 1 *count 44-65534
PARAM_VALUE 2 size 8
NOCHECK_CALL
UNITS 2 size unit_byte
LOCK2 irq

arch/x86/kernel/mpparse.c smp_read_mpc() -> skip_entry()

Type Parameter Key Value
PARAM_VALUE 0 ptr 6074823791365353472
PARAM_VALUE 0 *ptr 4096-ptr_max
PARAM_VALUE 1 count 1540744469699076096
PARAM_VALUE 1 *count 44-65534
PARAM_VALUE 2 size 8
NOCHECK_CALL
UNITS 2 size unit_byte
LOCK2 irq

arch/x86/kernel/mpparse.c smp_read_mpc() -> skip_entry()

Type Parameter Key Value
PARAM_VALUE 0 ptr 6074823791365353472
PARAM_VALUE 0 *ptr 4096-ptr_max
PARAM_VALUE 1 count 1540744469699076096
PARAM_VALUE 1 *count 44-65534
PARAM_VALUE 2 size 8
NOCHECK_CALL
UNITS 2 size unit_byte
LOCK2 irq

arch/x86/kernel/mpparse.c smp_read_mpc() -> skip_entry()

Type Parameter Key Value
PARAM_VALUE 0 ptr 6074823791365353472
PARAM_VALUE 0 *ptr 4096-ptr_max
PARAM_VALUE 1 count 1540744469699076096
PARAM_VALUE 1 *count 44-65534
PARAM_VALUE 2 size 8
NOCHECK_CALL
UNITS 2 size unit_byte
LOCK2 irq