Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/xen/efi.c efi_get_secureboot_mode() -> efi_get_secureboot_mode param 0()

Type Parameter Key Value
PARAM_VALUE 0 name 7988345051516456960
PARAM_VALUE 0 *name 0-255
PARAM_VALUE 1 vendor 4096-ptr_max
PARAM_VALUE 2 attr 0
PARAM_VALUE 3 data_size 3642177876260548608
PARAM_VALUE 3 *data_size 1
PARAM_VALUE 4 data 8333017580621631488
BUF_SIZE 0 name 22
STR_LEN 0 name 10
TERMINATED 0 name 1
HALF_LOCKED2 irq

arch/x86/xen/efi.c efi_get_secureboot_mode() -> efi_get_secureboot_mode param 0()

Type Parameter Key Value
PARAM_VALUE 0 name 8615839419266039808
PARAM_VALUE 0 *name 0-255
PARAM_VALUE 1 vendor 4096-ptr_max
PARAM_VALUE 2 attr 0
PARAM_VALUE 3 data_size 3642177876260548608
PARAM_VALUE 3 *data_size 1
PARAM_VALUE 4 data 8714797014234341376
PARAM_VALUE 4 *data 0
BUF_SIZE 0 name 20
STR_LEN 0 name 9
TERMINATED 0 name 1
NOCHECK_CALL
HALF_LOCKED2 irq

security/integrity/efi_secureboot.c efi_get_secureboot_mode() -> efi_get_secureboot_mode param 0()

Type Parameter Key Value
PARAM_VALUE 0 name 7988345051516456960
PARAM_VALUE 0 *name 0-255
PARAM_VALUE 1 vendor 4096-ptr_max
PARAM_VALUE 2 attr 0
PARAM_VALUE 3 data_size 1639785517449056256
PARAM_VALUE 3 *data_size 1
PARAM_VALUE 4 data 6358669262766649344
BUF_SIZE 0 name 22
STR_LEN 0 name 10
TERMINATED 0 name 1

security/integrity/efi_secureboot.c efi_get_secureboot_mode() -> efi_get_secureboot_mode param 0()

Type Parameter Key Value
PARAM_VALUE 0 name 8615839419266039808
PARAM_VALUE 0 *name 0-255
PARAM_VALUE 1 vendor 4096-ptr_max
PARAM_VALUE 2 attr 0
PARAM_VALUE 3 data_size 1639785517449056256
PARAM_VALUE 3 *data_size 1
PARAM_VALUE 4 data 5223804474442985472
PARAM_VALUE 4 *data 0
BUF_SIZE 0 name 20
STR_LEN 0 name 9
TERMINATED 0 name 1
NOCHECK_CALL

drivers/firmware/efi/libstub/secureboot.c efi_get_secureboot_mode() -> efi_get_secureboot_mode param 0()

Type Parameter Key Value
PARAM_VALUE 0 name 7988345051516456960
PARAM_VALUE 0 *name 0-127,65408-u16max
PARAM_VALUE 1 vendor 4096-ptr_max
PARAM_VALUE 2 attr 0
PARAM_VALUE 3 data_size 8071576956610498560
PARAM_VALUE 3 *data_size 1
PARAM_VALUE 4 data 3140854766145433600
BUF_SIZE 0 name 22
STR_LEN 0 name 10
TERMINATED 0 name 1

drivers/firmware/efi/libstub/secureboot.c efi_get_secureboot_mode() -> efi_get_secureboot_mode param 0()

Type Parameter Key Value
PARAM_VALUE 0 name 8615839419266039808
PARAM_VALUE 0 *name 0-127,65408-u16max
PARAM_VALUE 1 vendor 4096-ptr_max
PARAM_VALUE 2 attr 0
PARAM_VALUE 3 data_size 8071576956610498560
PARAM_VALUE 3 *data_size 1
PARAM_VALUE 4 data 7291483852407296000
PARAM_VALUE 4 *data 0
BUF_SIZE 0 name 20
STR_LEN 0 name 9
TERMINATED 0 name 1
NOCHECK_CALL