Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 47 files:

Smatch caller information:

lib/cmdline.c get_options() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 16,4096-ptr_max
BUF_SIZE 1 pint (-1),64
BUF_SIZE 1 pint (-1),64
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &chip->als_mutex
HALF_LOCKED2 &of->mutex

drivers/pnp/isapnp/core.c isapnp_setup_isapnp() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 5087165042666524672
HALF_LOCKED2 irq

drivers/pnp/isapnp/core.c isapnp_setup_isapnp() -> get_option()

Type Parameter Key Value
PARAM_VALUE 0 str 4096-ptr_max
PARAM_VALUE 0 *str 4097-18446744073709547521
PARAM_VALUE 1 pint 5142231347011403776
HALF_LOCKED2 irq

drivers/pnp/isapnp/core.c isapnp_setup_isapnp() -> get_option()

Type Parameter Key Value
PARAM_VALUE 0 str 4096-ptr_max
PARAM_VALUE 0 *str 4097-18446744073709547521
PARAM_VALUE 1 pint 7153214188075929600
HALF_LOCKED2 irq

kernel/profile.c profile_setup() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 935385375515086848
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

kernel/profile.c profile_setup() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 935385375515086848
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *pint s32min-s32max
USER_PTR 1 pint
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 _T->lock

kernel/smp.c csdlock_debug() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 2339533639688724480
PARAM_VALUE 1 *pint 0
HALF_LOCKED2 irq

kernel/smp.c maxcpus() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 9163905386524270592
NOCHECK_CALL
HALF_LOCKED2 irq

kernel/smp.c nrcpus() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 6237856153660395520
HALF_LOCKED2 irq

kernel/watchdog.c watchdog_thresh_setup() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 4007278878950563840
NOCHECK_CALL
HALF_LOCKED2 irq

lib/locking-selftest.c setup_debug_locks_verbose() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 2624907747227979776
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/topology.c setup_possible_cpus() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 1840819565668196352
NOCHECK_CALL
HALF_LOCKED2 irq

mm/mm_init.c set_mminit_loglevel() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 6118306622562209792
NOCHECK_CALL
HALF_LOCKED2 irq

kernel/printk/printk.c boot_delay_setup() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 2377608926737084416
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/cpu/mce/core.c mcheck_enable() -> get_option()

Type Parameter Key Value
PARAM_VALUE 0 *str 4096-ptr_max
PARAM_VALUE 1 pint 6744929379944120332
NOCHECK_CALL
HALF_LOCKED2 irq

drivers/acpi/pci_link.c acpi_irq_penalty_update() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 7615333521236611072
HALF_LOCKED2 irq

kernel/resource.c reserve_setup() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 6070101011843158016
HALF_LOCKED2 irq

kernel/resource.c reserve_setup() -> get_option()

Type Parameter Key Value
PARAM_VALUE 0 str 4096-ptr_max
PARAM_VALUE 0 *str 4097-18446744073709547521
PARAM_VALUE 1 pint 3763680539595796480
HALF_LOCKED2 irq

init/main.c loglevel() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 5413379183942119424
HALF_LOCKED2 irq

drivers/char/hangcheck-timer.c hangcheck_parse_dump_tasks() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 6920871340685602816
HALF_LOCKED2 irq

drivers/char/hangcheck-timer.c hangcheck_parse_margin() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 8961027003073220608
HALF_LOCKED2 irq

drivers/char/hangcheck-timer.c hangcheck_parse_reboot() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 4153448283133542400
HALF_LOCKED2 irq

drivers/char/hangcheck-timer.c hangcheck_parse_tick() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 8484889318094098432
HALF_LOCKED2 irq

drivers/md/md-autodetect.c md_setup() -> get_option()

Type Parameter Key Value
PARAM_VALUE 0 *str 4096-18446744073709547521
PARAM_VALUE 1 pint 5310431323403407360
HALF_LOCKED2 irq

drivers/md/md-autodetect.c md_setup() -> get_option()

Type Parameter Key Value
PARAM_VALUE 0 str 4096-ptr_max
PARAM_VALUE 0 *str 4097-18446744073709547521
PARAM_VALUE 1 pint 1320441488191066112
HALF_LOCKED2 irq

drivers/md/md-autodetect.c md_setup() -> get_option()

Type Parameter Key Value
PARAM_VALUE 0 str 4096-ptr_max
PARAM_VALUE 0 *str 4096-18446744073709547521
PARAM_VALUE 1 pint 5363684151866667008
HALF_LOCKED2 irq

drivers/md/md-autodetect.c md_setup() -> get_option()

Type Parameter Key Value
PARAM_VALUE 0 str 4096-ptr_max
PARAM_VALUE 0 *str 4097-18446744073709547521
PARAM_VALUE 1 pint 7551517807632760832
HALF_LOCKED2 irq

arch/x86/kernel/apic/ipi.c apic_ipi_shorthand() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 1603265372718632960
NOCHECK_CALL
HALF_LOCKED2 irq

drivers/char/lp.c lp_setup() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 5112637625803886592
HALF_LOCKED2 irq

arch/x86/kernel/amd_gart_64.c gart_parse_options() -> get_option()

Type Parameter Key Value
PARAM_VALUE 0 *str 4096-ptr_max
PARAM_VALUE 1 pint 7941631617527943168
HALF_LOCKED2 irq

arch/x86/kernel/amd_gart_64.c gart_parse_options() -> get_option()

Type Parameter Key Value
PARAM_VALUE 0 *str 4097-18446744073709547521
PARAM_VALUE 1 pint 7941631617527943168
USER_DATA 1 *pint s32min-s32max
USER_PTR 1 pint
HALF_LOCKED2 irq

kernel/time/tick-sched.c skew_tick() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 1160977691644760064
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/apic/vector.c setup_show_lapic() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 9130787116705312768
PARAM_VALUE 1 *pint (-1)
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/smpboot.c cpu_init_udelay() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 4920417839560646656
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/smpboot.c split_llc_setup() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 1675928709383573504
NOCHECK_CALL
HALF_LOCKED2 irq

drivers/char/hpet.c hpet_mmap_enable() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 4766387556628197376
NOCHECK_CALL
HALF_LOCKED2 irq

kernel/dma/debug.c dma_debug_entries_cmdline() -> get_option()

Type Parameter Key Value
PARAM_VALUE 0 *str 1-u64max
PARAM_VALUE 1 pint 7306795686547939328
HALF_LOCKED2 irq

kernel/signal.c setup_print_fatal_signals() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 3808477780418162688
NOCHECK_CALL
HALF_LOCKED2 irq

drivers/pnp/resource.c pnp_setup_reserve_dma() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 4096-ptr_max
HALF_LOCKED2 irq

drivers/pnp/resource.c pnp_setup_reserve_io() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 4096-ptr_max
HALF_LOCKED2 irq

drivers/pnp/resource.c pnp_setup_reserve_irq() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 4096-ptr_max
HALF_LOCKED2 irq

drivers/pnp/resource.c pnp_setup_reserve_mem() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 4096-ptr_max
HALF_LOCKED2 irq

mm/numa_emulation.c numa_emulation() -> get_option()

Type Parameter Key Value
PARAM_VALUE 0 str 2789076748055015424
PARAM_VALUE 0 *str 4096-18446744073709547521
PARAM_VALUE 1 pint 1007518015780106240
LOCK2 irq

lib/tests/cmdline_kunit.c cmdline_do_one_test() -> get_option()

Type Parameter Key Value
PARAM_VALUE 0 str 4132233534474801152
PARAM_VALUE 0 *str 4096-ptr_max
PARAM_VALUE 1 pint 3386519235850485760

drivers/pci/controller/pci-versatile.c versatile_pci_slot_ignore() -> get_option()

Type Parameter Key Value
PARAM_VALUE 1 pint 2080807742244818944
USER_DATA 1 *pint s32min-s32max
USER_PTR 1 pint
HALF_LOCKED2 irq

drivers/pci/controller/pci-versatile.c versatile_pci_slot_ignore() -> get_option()

Type Parameter Key Value
PARAM_VALUE 0 str 4096-ptr_max
PARAM_VALUE 0 *str 4096-18446744073709547521
PARAM_VALUE 1 pint 2080807742244818944
USER_DATA 1 *pint s32min-s32max
USER_PTR 1 pint
HALF_LOCKED2 irq