Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/firmware/efi/libstub/smbios.c efi_get_smbios_record() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3207237981780328448 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/smbios.c efi_get_smbios_record() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 752099941478440960 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/smbios.c efi_get_smbios_record() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 0 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_convert_cmdline() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 5776014962169442304 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_exit_boot_services() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_exit_boot_services() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_load_initrd() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 5130657651958468608 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_load_initrd_dev_path() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6112355753654390784 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_load_initrd_dev_path() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1201250123024465920 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_load_initrd_dev_path() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 7148888363507834888 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_load_initrd_dev_path() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 7148888363507834888 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_measure_tagged_event() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 8339814583993905152 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_measure_tagged_event() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 2813197400740073472 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_measure_tagged_event() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 438279189771137024 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_parse_options() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1760929536185753600 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_remap_image() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 5794110607417278464 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_wait_for_key() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3979102643498250240 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_wait_for_key() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6284899557607858176 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/random.c efi_get_random_bytes() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4372661380849750016 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/random.c efi_random_get_seed() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6084624866331840512 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/random.c efi_random_get_seed() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 7194662112276205568 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/unaccepted_memory.c allocate_unaccepted_bitmap() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 2909053611099340800 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/x86-stub.c alloc_e820ext() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4499346857130975232 |
| PARAM_VALUE | 0 | *p | 0 |
| DATA_SOURCE | 0 | p | $1 |
drivers/firmware/efi/libstub/x86-stub.c apple_set_os() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4044579973942247424 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/x86-stub.c efi_allocate_bootparams() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4879444221475131392 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/x86-stub.c efi_stub_entry() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6042106953025937408 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/x86-stub.c preserve_pci_rom_image() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4845335192136794112 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/x86-stub.c preserve_pci_rom_image() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| BUF_SIZE | 0 | p | 8 |
| MEM_ZERO | 0 | p |
drivers/firmware/efi/libstub/x86-stub.c preserve_pci_rom_image() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| BUF_SIZE | 0 | p | 8 |
| MEM_ZERO | 0 | p |
drivers/firmware/efi/libstub/x86-stub.c preserve_pci_rom_image() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| BUF_SIZE | 0 | p | 8 |
| MEM_ZERO | 0 | p |
drivers/firmware/efi/libstub/x86-stub.c preserve_pci_rom_image() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| BUF_SIZE | 0 | p | 8 |
| MEM_ZERO | 0 | p |
drivers/firmware/efi/libstub/x86-stub.c retrieve_apple_device_properties() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 5720823737018667008 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/x86-stub.c retrieve_apple_device_properties() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4092442774580097024 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/x86-stub.c setup_efi_pci() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6475794393516695552 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/x86-stub.c setup_efi_pci() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 8612224720856399872 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/x86-stub.c setup_efi_pci() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1402712175203389440 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/x86-stub.c setup_unaccepted_memory() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1833644670751956992 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/gop.c choose_mode() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1993231371137056768 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/gop.c choose_mode() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6242633021396201472 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/gop.c choose_mode_modenum() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 7055549142610165760 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/gop.c choose_mode_modenum() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6156716125367001088 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/gop.c efi_setup_graphics() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6424426758205714432 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/gop.c efi_setup_graphics() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 7698446982921064448 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/gop.c efi_setup_graphics() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 907615131798237184 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/gop.c efi_setup_graphics() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 5738562942198317056 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/gop.c find_handle_with_primary_gop() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 2170281702264377344 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/gop.c find_handle_with_primary_gop() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3361568895512596480 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/pci.c efi_pci_disable_bridge_busmaster() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3919805834126422016 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/pci.c efi_pci_disable_bridge_busmaster() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4831838473640525824 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/pci.c efi_pci_disable_bridge_busmaster() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 5517934970208034816 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/pci.c efi_pci_disable_bridge_busmaster() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1290313562070159360 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/pci.c efi_pci_disable_bridge_busmaster() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 1668889518974820352 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/pci.c efi_pci_disable_bridge_busmaster() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3937052210870059008 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/pci.c efi_pci_disable_bridge_busmaster() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6093319123672170496 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/pci.c efi_pci_disable_bridge_busmaster() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 5517934970208034816 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/tpm.c efi_retrieve_eventlog() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 6586256389940224000 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/tpm.c efi_retrieve_eventlog() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3304177283121364992 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/tpm.c efi_retrieve_tcg2_eventlog() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4541564518710710272 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/mem.c efi_get_memory_map() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 379935391261327384 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/mem.c efi_get_memory_map() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 379935391261327368 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/mem.c efi_get_memory_map() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 151849919398039552 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/mem.c efi_get_memory_map() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/mem.c efi_get_memory_map() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/file.c efi_open_device_path() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3707720636607209472 |
| PARAM_VALUE | 0 | *p | 0 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/file.c efi_open_device_path() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 3683884686492360704 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/file.c efi_open_device_path() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 9170491802008440832 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/file.c efi_open_device_path() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4732075329626386432 |
| PARAM_VALUE | 0 | *p | 0 |
| DATA_SOURCE | 0 | p | $0 |
drivers/firmware/efi/libstub/file.c efi_open_file() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4642651547106123776 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/file.c efi_open_volume() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 7384796747060969472 |
| BUF_SIZE | 0 | p | 8 |
drivers/firmware/efi/libstub/file.c efi_open_volume() -> efi64_zero_upper()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4732075329626386432 |
| PARAM_VALUE | 0 | *p | 0 |
| DATA_SOURCE | 0 | p | $1 |