Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

arch/x86/platform/efi/efi.c __efi_enter_virtual_mode() -> efi_sync_low_kernel_mappings()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/platform/efi/efi.c kexec_enter_virtual_mode() -> efi_sync_low_kernel_mappings()

Type Parameter Key Value
NOCHECK_CALL

arch/x86/platform/efi/efi_64.c arch_efi_call_virt_setup() -> efi_sync_low_kernel_mappings()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 flags
HALF_LOCKED2 global &__efi_uv_runtime_lock
HALF_LOCKED2 global &efi_runtime_lock
HALF_LOCKED2 global &efivars_lock

arch/x86/platform/efi/efi_64.c efi_thunk_set_virtual_address_map() -> efi_sync_low_kernel_mappings()

Type Parameter Key Value
NOCHECK_CALL