efi_set_variable_t 854 include/linux/efi.h efi_set_variable_t *set_variable; efi_set_variable_t 1080 include/linux/efi.h efi_set_variable_t *set_variable;