Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/firmware/efi/libstub/efi-stub-helper.c efi_apply_loadoptions_quirk() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 5756144408556609536 |
| BUF_SIZE | 0 | fmt | 73 |
| STR_LEN | 0 | fmt | 72 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_apply_loadoptions_quirk() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 9177737495988445184 |
| BUF_SIZE | 0 | fmt | 63 |
| STR_LEN | 0 | fmt | 62 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_convert_cmdline() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 7531027028164538368 |
| PARAM_VALUE | 1 | $ | 0-2047 |
| BUF_SIZE | 0 | fmt | 58 |
| STR_LEN | 0 | fmt | 57 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_load_initrd() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 2944458914586894336 |
| BUF_SIZE | 0 | fmt | 62 |
| STR_LEN | 0 | fmt | 61 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_load_initrd() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 6244982897449312256 |
| BUF_SIZE | 0 | fmt | 42 |
| STR_LEN | 0 | fmt | 41 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_load_initrd() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 3071052330875867136 |
| BUF_SIZE | 0 | fmt | 35 |
| STR_LEN | 0 | fmt | 34 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_load_initrd() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 8439258316082614272 |
| PARAM_VALUE | 1 | $ | 1-u64max |
| BUF_SIZE | 0 | fmt | 39 |
| STR_LEN | 0 | fmt | 38 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_measure_tagged_event() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 8965701447812255744 |
| PARAM_VALUE | 1 | $ | 0-1 |
| PARAM_VALUE | 2 | $ | 1-u64max |
| BUF_SIZE | 0 | fmt | 55 |
| DATA_SOURCE | 1 | $ | $2 |
| STR_LEN | 0 | fmt | 54 |
| TERMINATED | 0 | fmt | 1 |
| HARD_MAX | 1 | $ | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_remap_image() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 6889637654383484928 |
| PARAM_VALUE | 1 | $ | 1-u64max |
| BUF_SIZE | 0 | fmt | 73 |
| STR_LEN | 0 | fmt | 72 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_remap_image() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 2886134366143074304 |
| BUF_SIZE | 0 | fmt | 50 |
| STR_LEN | 0 | fmt | 49 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_remap_image() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 1815395412089167872 |
| BUF_SIZE | 0 | fmt | 51 |
| STR_LEN | 0 | fmt | 50 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/efi-stub-helper.c efi_remap_image() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 8315203503879081984 |
| BUF_SIZE | 0 | fmt | 55 |
| STR_LEN | 0 | fmt | 54 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/random.c efi_random_get_seed() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 3943252045660733440 |
| BUF_SIZE | 0 | fmt | 52 |
| STR_LEN | 0 | fmt | 51 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/random.c efi_random_get_seed() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 7843934240245297152 |
| BUF_SIZE | 0 | fmt | 72 |
| STR_LEN | 0 | fmt | 71 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/random.c efi_random_get_seed() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 8643806990052274176 |
| BUF_SIZE | 0 | fmt | 51 |
| STR_LEN | 0 | fmt | 50 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/unaccepted_memory.c allocate_unaccepted_bitmap() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 8778693920679174144 |
| BUF_SIZE | 0 | fmt | 53 |
| STR_LEN | 0 | fmt | 52 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/unaccepted_memory.c allocate_unaccepted_bitmap() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 5091860724682997760 |
| BUF_SIZE | 0 | fmt | 60 |
| STR_LEN | 0 | fmt | 59 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/unaccepted_memory.c allocate_unaccepted_bitmap() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 6862781157271060480 |
| BUF_SIZE | 0 | fmt | 60 |
| STR_LEN | 0 | fmt | 59 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c apple_set_os() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 2602377454336446464 |
| BUF_SIZE | 0 | fmt | 51 |
| STR_LEN | 0 | fmt | 50 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c apple_set_os() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 4029552608525598720 |
| BUF_SIZE | 0 | fmt | 52 |
| STR_LEN | 0 | fmt | 51 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c efi_adjust_memory_range_protection() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 2564058790996459520 |
| BUF_SIZE | 0 | fmt | 50 |
| STR_LEN | 0 | fmt | 49 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c efi_adjust_memory_range_protection() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 1062548599559614464 |
| BUF_SIZE | 0 | fmt | 52 |
| STR_LEN | 0 | fmt | 51 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c efi_adjust_memory_range_protection() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 4284099835024506880 |
| PARAM_VALUE | 3 | $ | 1-u64max |
| BUF_SIZE | 0 | fmt | 64 |
| STR_LEN | 0 | fmt | 63 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c efi_allocate_bootparams() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 721876592095424512 |
| BUF_SIZE | 0 | fmt | 57 |
| STR_LEN | 0 | fmt | 56 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c efi_decompress_kernel() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 9079587843919622144 |
| BUF_SIZE | 0 | fmt | 73 |
| STR_LEN | 0 | fmt | 72 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c efi_decompress_kernel() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 4471388722274611200 |
| PARAM_VALUE | 1 | $ | 1-u64max |
| BUF_SIZE | 0 | fmt | 69 |
| STR_LEN | 0 | fmt | 68 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c efi_stub_entry() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 4709720612507873280 |
| BUF_SIZE | 0 | fmt | 59 |
| STR_LEN | 0 | fmt | 58 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c efi_stub_entry() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 8809724648271798272 |
| BUF_SIZE | 0 | fmt | 44 |
| STR_LEN | 0 | fmt | 43 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c efi_stub_entry() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 4439051410800005120 |
| BUF_SIZE | 0 | fmt | 34 |
| STR_LEN | 0 | fmt | 33 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c efi_stub_entry() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 4439051410800005120 |
| BUF_SIZE | 0 | fmt | 34 |
| STR_LEN | 0 | fmt | 33 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c efi_stub_entry() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 4053777739988955136 |
| BUF_SIZE | 0 | fmt | 38 |
| STR_LEN | 0 | fmt | 37 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c efi_stub_entry() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 9057274102977089536 |
| BUF_SIZE | 0 | fmt | 30 |
| STR_LEN | 0 | fmt | 29 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c efi_stub_entry() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 4445520306451148800 |
| BUF_SIZE | 0 | fmt | 35 |
| STR_LEN | 0 | fmt | 34 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c error() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 5305847349703909376 |
| BUF_SIZE | 0 | fmt | 37 |
| DATA_SOURCE | 1 | $ | $0 |
| STR_LEN | 0 | fmt | 36 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c have_unsupported_snp_features() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 4616941358251642880 |
| PARAM_VALUE | 1 | $ | 1-u64max |
| BUF_SIZE | 0 | fmt | 56 |
| DATA_SOURCE | 1 | $ | r snp_get_unsupported_features |
| STR_LEN | 0 | fmt | 55 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c preserve_pci_rom_image() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 3746023782304333824 |
| BUF_SIZE | 0 | fmt | 46 |
| STR_LEN | 0 | fmt | 45 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c preserve_pci_rom_image() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 3317557603408801792 |
| BUF_SIZE | 0 | fmt | 37 |
| STR_LEN | 0 | fmt | 36 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c preserve_pci_rom_image() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 1448288324334964736 |
| BUF_SIZE | 0 | fmt | 36 |
| STR_LEN | 0 | fmt | 35 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c retrieve_apple_device_properties() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 6910945119316066304 |
| BUF_SIZE | 0 | fmt | 47 |
| STR_LEN | 0 | fmt | 46 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c retrieve_apple_device_properties() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 3393655771500167168 |
| BUF_SIZE | 0 | fmt | 53 |
| STR_LEN | 0 | fmt | 52 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/x86-stub.c setup_unaccepted_memory() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 7871388226583769088 |
| BUF_SIZE | 0 | fmt | 44 |
| STR_LEN | 0 | fmt | 43 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/gop.c choose_mode_list() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 4560082308543885312 |
| BUF_SIZE | 0 | fmt | 35 |
| STR_LEN | 0 | fmt | 34 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/gop.c choose_mode_list() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 7571613023544586240 |
| BUF_SIZE | 0 | fmt | 55 |
| STR_LEN | 0 | fmt | 54 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/gop.c choose_mode_modenum() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 2472050192504528896 |
| BUF_SIZE | 0 | fmt | 36 |
| STR_LEN | 0 | fmt | 35 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/gop.c choose_mode_modenum() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 3102809554969780224 |
| BUF_SIZE | 0 | fmt | 40 |
| STR_LEN | 0 | fmt | 39 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/gop.c choose_mode_modenum() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 472170870486040576 |
| BUF_SIZE | 0 | fmt | 30 |
| STR_LEN | 0 | fmt | 29 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/gop.c match_list() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 1509369069448175616 |
| PARAM_VALUE | 2 | $ | 32,42 |
| PARAM_VALUE | 3 | $ | 32,45 |
| PARAM_VALUE | 6 | $ | 438296328202162176,4508879729512697856,4560995003545006080,4602998933304729600,4999953530624008192 |
| BUF_SIZE | 0 | fmt | 42 |
| BUF_SIZE | 6 | $ | 1,4 |
| BUF_SIZE | 6 | $ | 1,4 |
| CAPPED_DATA | 1 | $ | 1 |
| DATA_SOURCE | 1 | $ | $1 |
| FUZZY_MAX | 2 | $ | 42 |
| FUZZY_MAX | 3 | $ | 45 |
| STR_LEN | 0 | fmt | 41 |
| STR_LEN | 1 | $ | 0,3 |
| STR_LEN | 6 | $ | 0,3 |
| BIT_INFO | 2 | $ | 0x20,0x2a |
| BIT_INFO | 3 | $ | 0x20,0x2d |
| BIT_INFO | 6 | $ | 0x400000000000000,0x7fffeffff7fdf000 |
| BIT_INFO | 6 | $ | 0x400000000000000,0x7fffeffff7fdf000 |
| TERMINATED | 0 | fmt | 1 |
| TERMINATED | 6 | $ | 1 |
| HARD_MAX | 2 | $ | 42 |
| HARD_MAX | 3 | $ | 45 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/gop.c set_mode() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 6546619597321007104 |
| BUF_SIZE | 0 | fmt | 39 |
| STR_LEN | 0 | fmt | 38 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/pci.c efi_pci_disable_bridge_busmaster() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 2566709748025430016 |
| BUF_SIZE | 0 | fmt | 43 |
| STR_LEN | 0 | fmt | 42 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/pci.c efi_pci_disable_bridge_busmaster() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 4159485651033583616 |
| BUF_SIZE | 0 | fmt | 45 |
| STR_LEN | 0 | fmt | 44 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/tpm.c efi_retrieve_tcg2_eventlog() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 316692610944221184 |
| BUF_SIZE | 0 | fmt | 50 |
| STR_LEN | 0 | fmt | 49 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/secureboot.c efi_get_secureboot() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 8539787269425524736 |
| BUF_SIZE | 0 | fmt | 55 |
| STR_LEN | 0 | fmt | 54 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/secureboot.c efi_get_secureboot() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 2089166049067827200 |
| BUF_SIZE | 0 | fmt | 32 |
| STR_LEN | 0 | fmt | 31 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/file.c efi_open_device_path() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 7684019753707757568 |
| BUF_SIZE | 0 | fmt | 55 |
| STR_LEN | 0 | fmt | 54 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/file.c efi_open_device_path() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 6559862853972393984 |
| BUF_SIZE | 0 | fmt | 32 |
| STR_LEN | 0 | fmt | 31 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/file.c efi_open_file() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 7650553392301670400 |
| BUF_SIZE | 0 | fmt | 35 |
| BUF_SIZE | 1 | $ | 512 |
| STR_LEN | 0 | fmt | 34 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/file.c efi_open_file() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 7811735604000681984 |
| BUF_SIZE | 0 | fmt | 34 |
| STR_LEN | 0 | fmt | 33 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/file.c efi_open_volume() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 344363578793164800 |
| BUF_SIZE | 0 | fmt | 36 |
| STR_LEN | 0 | fmt | 35 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/file.c efi_open_volume() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 6559862853972393984 |
| BUF_SIZE | 0 | fmt | 32 |
| STR_LEN | 0 | fmt | 31 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/file.c handle_cmdline_files() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 6114142336008314880 |
| BUF_SIZE | 0 | fmt | 46 |
| STR_LEN | 0 | fmt | 45 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |
drivers/firmware/efi/libstub/file.c handle_cmdline_files() -> efi_printk()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | fmt | 6060425509575933952 |
| BUF_SIZE | 0 | fmt | 30 |
| STR_LEN | 0 | fmt | 29 |
| TERMINATED | 0 | fmt | 1 |
| NOCHECK_CALL |