Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

arch/x86/kernel/early-quirks.c intel_graphics_stolen() -> e820__update_table()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/platform/efi/efi.c do_add_efi_memmap() -> e820__update_table()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/e820.c e820__finish_early_params() -> e820__update_table()

Type Parameter Key Value
LOCK2 irq

arch/x86/kernel/e820.c e820__memory_setup_default() -> e820__update_table()

Type Parameter Key Value
PARAM_VALUE 0 table 1-u64max
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/e820.c e820__memory_setup_extended() -> e820__update_table()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/e820.c e820__update_table_kexec() -> e820__update_table()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/kernel/e820.c e820__update_table_print() -> e820__update_table()

Type Parameter Key Value
LOCK2 irq

arch/x86/platform/efi/quirks.c efi_arch_mem_reserve() -> e820__update_table()

Type Parameter Key Value
NOCHECK_CALL
HALF_LOCKED2 irq

arch/x86/kernel/setup.c trim_bios_range() -> e820__update_table()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/setup.c xen_e820_swap_entry_with_ram() -> e820__update_table()

Type Parameter Key Value
PARAM_VALUE 0 table 7993731412276330496
PARAM_VALUE 0 table->nr_entries 2-u32max
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/setup.c xen_memory_setup() -> e820__update_table()

Type Parameter Key Value
PARAM_VALUE 0 table 7993731412276330496
PARAM_VALUE 0 table->nr_entries 1,3200-3201
NOCHECK_CALL
LOCK2 irq

arch/x86/xen/setup.c xen_memory_setup() -> e820__update_table()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 irq