Bug Summary

File:build-scan/../src/shared/efivars.c
Warning:line 351, column 15
The left operand of '<' is a garbage value

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple x86_64-unknown-linux-gnu -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name efivars.c -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -setup-static-analyzer -mrelocation-model pic -pic-level 2 -fhalf-no-semantic-interposition -mframe-pointer=all -relaxed-aliasing -menable-no-infs -menable-no-nans -menable-unsafe-fp-math -fno-signed-zeros -mreassociate -freciprocal-math -fdenormal-fp-math=preserve-sign,preserve-sign -ffp-contract=fast -fno-rounding-math -ffast-math -ffinite-math-only -mconstructor-aliases -munwind-tables -target-cpu x86-64 -tune-cpu generic -fno-split-dwarf-inlining -debugger-tuning=gdb -resource-dir /usr/lib64/clang/12.0.0 -include config.h -I src/shared/libsystemd-shared-239.a.p -I src/shared -I ../src/shared -I src/basic -I ../src/basic -I src/systemd -I ../src/systemd -I src/journal -I ../src/journal -I src/journal-remote -I ../src/journal-remote -I src/nspawn -I ../src/nspawn -I src/resolve -I ../src/resolve -I src/timesync -I ../src/timesync -I ../src/time-wait-sync -I src/login -I ../src/login -I src/udev -I ../src/udev -I src/libudev -I ../src/libudev -I src/core -I ../src/core -I ../src/libsystemd/sd-bus -I ../src/libsystemd/sd-device -I ../src/libsystemd/sd-hwdb -I ../src/libsystemd/sd-id128 -I ../src/libsystemd/sd-netlink -I ../src/libsystemd/sd-network -I src/libsystemd-network -I ../src/libsystemd-network -I . -I .. -I /usr/include/blkid -D _FILE_OFFSET_BITS=64 -internal-isystem /usr/local/include -internal-isystem /usr/lib64/clang/12.0.0/include -internal-externc-isystem /include -internal-externc-isystem /usr/include -Wwrite-strings -Wno-unused-parameter -Wno-missing-field-initializers -Wno-unused-result -Wno-format-signedness -Wno-error=nonnull -std=gnu99 -fconst-strings -fdebug-compilation-dir /home/mrc0mmand/repos/@redhat-plumbers/systemd-rhel8/build-scan -ferror-limit 19 -fvisibility default -stack-protector 2 -fgnuc-version=4.2.1 -fcolor-diagnostics -analyzer-output=html -faddrsig -o /tmp/scan-build-2021-07-16-221226-1465241-1 -x c ../src/shared/efivars.c
1/* SPDX-License-Identifier: LGPL-2.1+ */
2
3#include <dirent.h>
4#include <errno(*__errno_location ()).h>
5#include <fcntl.h>
6#include <limits.h>
7#include <stdio.h>
8#include <stdlib.h>
9#include <string.h>
10#include <sys/stat.h>
11#include <unistd.h>
12
13#include "sd-id128.h"
14
15#include "alloc-util.h"
16#include "dirent-util.h"
17#include "efivars.h"
18#include "fd-util.h"
19#include "io-util.h"
20#include "macro.h"
21#include "parse-util.h"
22#include "stdio-util.h"
23#include "time-util.h"
24#include "utf8.h"
25#include "util.h"
26#include "virt.h"
27
28#if ENABLE_EFI1
29
30#define LOAD_OPTION_ACTIVE0x00000001 0x00000001
31#define MEDIA_DEVICE_PATH0x04 0x04
32#define MEDIA_HARDDRIVE_DP0x01 0x01
33#define MEDIA_FILEPATH_DP0x04 0x04
34#define SIGNATURE_TYPE_GUID0x02 0x02
35#define MBR_TYPE_EFI_PARTITION_TABLE_HEADER0x02 0x02
36#define END_DEVICE_PATH_TYPE0x7f 0x7f
37#define END_ENTIRE_DEVICE_PATH_SUBTYPE0xff 0xff
38#define EFI_OS_INDICATIONS_BOOT_TO_FW_UI0x0000000000000001 0x0000000000000001
39
40struct boot_option {
41 uint32_t attr;
42 uint16_t path_len;
43 uint16_t title[];
44} _packed___attribute__ ((packed));
45
46struct drive_path {
47 uint32_t part_nr;
48 uint64_t part_start;
49 uint64_t part_size;
50 char signature[16];
51 uint8_t mbr_type;
52 uint8_t signature_type;
53} _packed___attribute__ ((packed));
54
55struct device_path {
56 uint8_t type;
57 uint8_t sub_type;
58 uint16_t length;
59 union {
60 uint16_t path[0];
61 struct drive_path drive;
62 };
63} _packed___attribute__ ((packed));
64
65bool_Bool is_efi_boot(void) {
66 return access("/sys/firmware/efi", F_OK0) >= 0;
67}
68
69static int read_flag(const char *varname) {
70 _cleanup_free___attribute__((cleanup(freep))) void *v = NULL((void*)0);
71 uint8_t b;
72 size_t s;
73 int r;
74
75 r = efi_get_variable(EFI_VENDOR_GLOBAL((const sd_id128_t) { .bytes = { 0x8b, 0xe4, 0xdf, 0x61, 0x93
, 0xca, 0x11, 0xd2, 0xaa, 0x0d, 0x00, 0xe0, 0x98, 0x03, 0x2b,
0x8c }}), varname, NULL((void*)0), &v, &s);
76 if (r < 0)
77 return r;
78
79 if (s != 1)
80 return -EINVAL22;
81
82 b = *(uint8_t *)v;
83 return b > 0;
84}
85
86bool_Bool is_efi_secure_boot(void) {
87 return read_flag("SecureBoot") > 0;
88}
89
90bool_Bool is_efi_secure_boot_setup_mode(void) {
91 return read_flag("SetupMode") > 0;
92}
93
94int efi_reboot_to_firmware_supported(void) {
95 _cleanup_free___attribute__((cleanup(freep))) void *v = NULL((void*)0);
96 uint64_t b;
97 size_t s;
98 int r;
99
100 if (!is_efi_boot() || detect_container() > 0)
101 return -EOPNOTSUPP95;
102
103 r = efi_get_variable(EFI_VENDOR_GLOBAL((const sd_id128_t) { .bytes = { 0x8b, 0xe4, 0xdf, 0x61, 0x93
, 0xca, 0x11, 0xd2, 0xaa, 0x0d, 0x00, 0xe0, 0x98, 0x03, 0x2b,
0x8c }}), "OsIndicationsSupported", NULL((void*)0), &v, &s);
104 if (r == -ENOENT2) /* variable doesn't exist? it's not supported then */
105 return -EOPNOTSUPP95;
106 if (r < 0)
107 return r;
108 if (s != sizeof(uint64_t))
109 return -EINVAL22;
110
111 b = *(uint64_t*) v;
112 if (!(b & EFI_OS_INDICATIONS_BOOT_TO_FW_UI0x0000000000000001))
113 return -EOPNOTSUPP95; /* bit unset? it's not supported then */
114
115 return 0;
116}
117
118static int get_os_indications(uint64_t *os_indication) {
119 _cleanup_free___attribute__((cleanup(freep))) void *v = NULL((void*)0);
120 size_t s;
121 int r;
122
123 r = efi_reboot_to_firmware_supported();
124 if (r < 0)
125 return r;
126
127 r = efi_get_variable(EFI_VENDOR_GLOBAL((const sd_id128_t) { .bytes = { 0x8b, 0xe4, 0xdf, 0x61, 0x93
, 0xca, 0x11, 0xd2, 0xaa, 0x0d, 0x00, 0xe0, 0x98, 0x03, 0x2b,
0x8c }}), "OsIndications", NULL((void*)0), &v, &s);
128 if (r == -ENOENT2) {
129 /* Some firmware implementations that do support
130 * OsIndications and report that with
131 * OsIndicationsSupported will remove the
132 * OsIndications variable when it is unset. Let's
133 * pretend it's 0 then, to hide this implementation
134 * detail. Note that this call will return -ENOENT
135 * then only if the support for OsIndications is
136 * missing entirely, as determined by
137 * efi_reboot_to_firmware_supported() above. */
138 *os_indication = 0;
139 return 0;
140 } else if (r < 0)
141 return r;
142 else if (s != sizeof(uint64_t))
143 return -EINVAL22;
144
145 *os_indication = *(uint64_t *)v;
146 return 0;
147}
148
149int efi_get_reboot_to_firmware(void) {
150 int r;
151 uint64_t b;
152
153 r = get_os_indications(&b);
154 if (r < 0)
155 return r;
156
157 return !!(b & EFI_OS_INDICATIONS_BOOT_TO_FW_UI0x0000000000000001);
158}
159
160int efi_set_reboot_to_firmware(bool_Bool value) {
161 int r;
162 uint64_t b, b_new;
163
164 r = get_os_indications(&b);
165 if (r < 0)
166 return r;
167
168 if (value)
169 b_new = b | EFI_OS_INDICATIONS_BOOT_TO_FW_UI0x0000000000000001;
170 else
171 b_new = b & ~EFI_OS_INDICATIONS_BOOT_TO_FW_UI0x0000000000000001;
172
173 /* Avoid writing to efi vars store if we can due to firmware bugs. */
174 if (b != b_new)
175 return efi_set_variable(EFI_VENDOR_GLOBAL((const sd_id128_t) { .bytes = { 0x8b, 0xe4, 0xdf, 0x61, 0x93
, 0xca, 0x11, 0xd2, 0xaa, 0x0d, 0x00, 0xe0, 0x98, 0x03, 0x2b,
0x8c }}), "OsIndications", &b_new, sizeof(uint64_t));
176
177 return 0;
178}
179
180int efi_get_variable(
181 sd_id128_t vendor,
182 const char *name,
183 uint32_t *attribute,
184 void **value,
185 size_t *size) {
186
187 _cleanup_close___attribute__((cleanup(closep))) int fd = -1;
188 _cleanup_free___attribute__((cleanup(freep))) char *p = NULL((void*)0);
189 uint32_t a;
190 ssize_t n;
191 struct stat st;
192 _cleanup_free___attribute__((cleanup(freep))) void *buf = NULL((void*)0);
193
194 assert(name)do { if ((__builtin_expect(!!(!(name)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("name"), "../src/shared/efivars.c", 194,
__PRETTY_FUNCTION__); } while (0);
6
←
Taking false branch
→
7
←
Loop condition is false. Exiting loop
→
195 assert(value)do { if ((__builtin_expect(!!(!(value)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("value"), "../src/shared/efivars.c", 195
, __PRETTY_FUNCTION__); } while (0);
8
←
Taking false branch
→
9
←
Loop condition is false. Exiting loop
→
196 assert(size)do { if ((__builtin_expect(!!(!(size)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("size"), "../src/shared/efivars.c", 196,
__PRETTY_FUNCTION__); } while (0);
10
←
Taking false branch
→
11
←
Loop condition is false. Exiting loop
→
197
198 if (asprintf(&p,
12
←
Assuming the condition is false
→
13
←
Taking false branch
→
199 "/sys/firmware/efi/efivars/%s-%02x%02x%02x%02x-%02x%02x-%02x%02x-%02x%02x-%02x%02x%02x%02x%02x%02x",
200 name, SD_ID128_FORMAT_VAL(vendor)(vendor).bytes[0], (vendor).bytes[1], (vendor).bytes[2], (vendor
).bytes[3], (vendor).bytes[4], (vendor).bytes[5], (vendor).bytes
[6], (vendor).bytes[7], (vendor).bytes[8], (vendor).bytes[9],
(vendor).bytes[10], (vendor).bytes[11], (vendor).bytes[12], (
vendor).bytes[13], (vendor).bytes[14], (vendor).bytes[15]) < 0)
201 return -ENOMEM12;
202
203 fd = open(p, O_RDONLY00|O_NOCTTY0400|O_CLOEXEC02000000);
204 if (fd < 0)
14
←
Assuming 'fd' is < 0
→
15
←
Taking true branch
→
205 return -errno(*__errno_location ());
16
←
Returning without writing to '*size'
→
206
207 if (fstat(fd, &st) < 0)
208 return -errno(*__errno_location ());
209 if (st.st_size < 4)
210 return -EIO5;
211 if (st.st_size > 4*1024*1024 + 4)
212 return -E2BIG7;
213
214 n = read(fd, &a, sizeof(a));
215 if (n < 0)
216 return -errno(*__errno_location ());
217 if (n != sizeof(a))
218 return -EIO5;
219
220 buf = malloc(st.st_size - 4 + 2);
221 if (!buf)
222 return -ENOMEM12;
223
224 n = read(fd, buf, (size_t) st.st_size - 4);
225 if (n < 0)
226 return -errno(*__errno_location ());
227 if (n != (ssize_t) st.st_size - 4)
228 return -EIO5;
229
230 /* Always NUL terminate (2 bytes, to protect UTF-16) */
231 ((char*) buf)[st.st_size - 4] = 0;
232 ((char*) buf)[st.st_size - 4 + 1] = 0;
233
234 *value = TAKE_PTR(buf)({ typeof(buf) _ptr_ = (buf); (buf) = ((void*)0); _ptr_; });
235 *size = (size_t) st.st_size - 4;
236
237 if (attribute)
238 *attribute = a;
239
240 return 0;
241}
242
243int efi_set_variable(
244 sd_id128_t vendor,
245 const char *name,
246 const void *value,
247 size_t size) {
248
249 struct var {
250 uint32_t attr;
251 char buf[];
252 } _packed___attribute__ ((packed)) * _cleanup_free___attribute__((cleanup(freep))) buf = NULL((void*)0);
253 _cleanup_free___attribute__((cleanup(freep))) char *p = NULL((void*)0);
254 _cleanup_close___attribute__((cleanup(closep))) int fd = -1;
255
256 assert(name)do { if ((__builtin_expect(!!(!(name)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("name"), "../src/shared/efivars.c", 256,
__PRETTY_FUNCTION__); } while (0);
257 assert(value || size == 0)do { if ((__builtin_expect(!!(!(value || size == 0)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("value || size == 0"), "../src/shared/efivars.c"
, 257, __PRETTY_FUNCTION__); } while (0);
258
259 if (asprintf(&p,
260 "/sys/firmware/efi/efivars/%s-%02x%02x%02x%02x-%02x%02x-%02x%02x-%02x%02x-%02x%02x%02x%02x%02x%02x",
261 name, SD_ID128_FORMAT_VAL(vendor)(vendor).bytes[0], (vendor).bytes[1], (vendor).bytes[2], (vendor
).bytes[3], (vendor).bytes[4], (vendor).bytes[5], (vendor).bytes
[6], (vendor).bytes[7], (vendor).bytes[8], (vendor).bytes[9],
(vendor).bytes[10], (vendor).bytes[11], (vendor).bytes[12], (
vendor).bytes[13], (vendor).bytes[14], (vendor).bytes[15]) < 0)
262 return -ENOMEM12;
263
264 if (size == 0) {
265 if (unlink(p) < 0)
266 return -errno(*__errno_location ());
267 return 0;
268 }
269
270 fd = open(p, O_WRONLY01|O_CREAT0100|O_NOCTTY0400|O_CLOEXEC02000000, 0644);
271 if (fd < 0)
272 return -errno(*__errno_location ());
273
274 buf = malloc(sizeof(uint32_t) + size);
275 if (!buf)
276 return -ENOMEM12;
277
278 buf->attr = EFI_VARIABLE_NON_VOLATILE0x0000000000000001|EFI_VARIABLE_BOOTSERVICE_ACCESS0x0000000000000002|EFI_VARIABLE_RUNTIME_ACCESS0x0000000000000004;
279 memcpy(buf->buf, value, size);
280
281 return loop_write(fd, buf, sizeof(uint32_t) + size, false0);
282}
283
284int efi_get_variable_string(sd_id128_t vendor, const char *name, char **p) {
285 _cleanup_free___attribute__((cleanup(freep))) void *s = NULL((void*)0);
286 size_t ss = 0;
287 int r;
288 char *x;
289
290 r = efi_get_variable(vendor, name, NULL((void*)0), &s, &ss);
291 if (r < 0)
292 return r;
293
294 x = utf16_to_utf8(s, ss);
295 if (!x)
296 return -ENOMEM12;
297
298 *p = x;
299 return 0;
300}
301
302static size_t utf16_size(const uint16_t *s) {
303 size_t l = 0;
304
305 while (s[l] > 0)
306 l++;
307
308 return (l+1) * sizeof(uint16_t);
309}
310
311static void efi_guid_to_id128(const void *guid, sd_id128_t *id128) {
312 struct uuid {
313 uint32_t u1;
314 uint16_t u2;
315 uint16_t u3;
316 uint8_t u4[8];
317 } _packed___attribute__ ((packed));
318 const struct uuid *uuid = guid;
319
320 id128->bytes[0] = (uuid->u1 >> 24) & 0xff;
321 id128->bytes[1] = (uuid->u1 >> 16) & 0xff;
322 id128->bytes[2] = (uuid->u1 >> 8) & 0xff;
323 id128->bytes[3] = (uuid->u1) & 0xff;
324 id128->bytes[4] = (uuid->u2 >> 8) & 0xff;
325 id128->bytes[5] = (uuid->u2) & 0xff;
326 id128->bytes[6] = (uuid->u3 >> 8) & 0xff;
327 id128->bytes[7] = (uuid->u3) & 0xff;
328 memcpy(&id128->bytes[8], uuid->u4, sizeof(uuid->u4));
329}
330
331int efi_get_boot_option(
332 uint16_t id,
333 char **title,
334 sd_id128_t *part_uuid,
335 char **path,
336 bool_Bool *active) {
337
338 char boot_id[9];
339 _cleanup_free___attribute__((cleanup(freep))) uint8_t *buf = NULL((void*)0);
340 size_t l;
1
'l' declared without an initial value
→
341 struct boot_option *header;
342 size_t title_size;
343 _cleanup_free___attribute__((cleanup(freep))) char *s = NULL((void*)0), *p = NULL((void*)0);
344 sd_id128_t p_uuid = SD_ID128_NULL((const sd_id128_t) { .qwords = { 0, 0 }});
345 int r;
346
347 xsprintf(boot_id, "Boot%04X", id)do { if ((__builtin_expect(!!(!(((size_t) snprintf(boot_id, __extension__
(__builtin_choose_expr( !__builtin_types_compatible_p(typeof
(boot_id), typeof(&*(boot_id))), sizeof(boot_id)/sizeof((
boot_id)[0]), ((void)0))), "Boot%04X", id) < (__extension__
(__builtin_choose_expr( !__builtin_types_compatible_p(typeof
(boot_id), typeof(&*(boot_id))), sizeof(boot_id)/sizeof((
boot_id)[0]), ((void)0))))))),0))) log_assert_failed_realm(LOG_REALM_SYSTEMD
, ("xsprintf: " "boot_id" "[] must be big enough"), "../src/shared/efivars.c"
, 347, __PRETTY_FUNCTION__); } while (0);
2
←
Assuming the condition is true
→
3
←
Taking false branch
→
4
←
Loop condition is false. Exiting loop
→
348 r = efi_get_variable(EFI_VENDOR_GLOBAL((const sd_id128_t) { .bytes = { 0x8b, 0xe4, 0xdf, 0x61, 0x93
, 0xca, 0x11, 0xd2, 0xaa, 0x0d, 0x00, 0xe0, 0x98, 0x03, 0x2b,
0x8c }}), boot_id, NULL((void*)0), (void **)&buf, &l);
5
←
Calling 'efi_get_variable'
→
17
←
Returning from 'efi_get_variable'
→
349 if (r < 0)
18
←
Assuming 'r' is >= 0
→
19
←
Taking false branch
→
350 return r;
351 if (l < sizeof(struct boot_option))
20
←
The left operand of '<' is a garbage value
352 return -ENOENT2;
353
354 header = (struct boot_option *)buf;
355 title_size = utf16_size(header->title);
356 if (title_size > l - offsetof(struct boot_option, title)__builtin_offsetof(struct boot_option, title))
357 return -EINVAL22;
358
359 if (title) {
360 s = utf16_to_utf8(header->title, title_size);
361 if (!s)
362 return -ENOMEM12;
363 }
364
365 if (header->path_len > 0) {
366 uint8_t *dbuf;
367 size_t dnext;
368
369 dbuf = buf + offsetof(struct boot_option, title)__builtin_offsetof(struct boot_option, title) + title_size;
370 dnext = 0;
371 while (dnext < header->path_len) {
372 struct device_path *dpath;
373
374 dpath = (struct device_path *)(dbuf + dnext);
375 if (dpath->length < 4)
376 break;
377
378 /* Type 0x7F – End of Hardware Device Path, Sub-Type 0xFF – End Entire Device Path */
379 if (dpath->type == END_DEVICE_PATH_TYPE0x7f && dpath->sub_type == END_ENTIRE_DEVICE_PATH_SUBTYPE0xff)
380 break;
381
382 dnext += dpath->length;
383
384 /* Type 0x04 – Media Device Path */
385 if (dpath->type != MEDIA_DEVICE_PATH0x04)
386 continue;
387
388 /* Sub-Type 1 – Hard Drive */
389 if (dpath->sub_type == MEDIA_HARDDRIVE_DP0x01) {
390 /* 0x02 – GUID Partition Table */
391 if (dpath->drive.mbr_type != MBR_TYPE_EFI_PARTITION_TABLE_HEADER0x02)
392 continue;
393
394 /* 0x02 – GUID signature */
395 if (dpath->drive.signature_type != SIGNATURE_TYPE_GUID0x02)
396 continue;
397
398 if (part_uuid)
399 efi_guid_to_id128(dpath->drive.signature, &p_uuid);
400 continue;
401 }
402
403 /* Sub-Type 4 – File Path */
404 if (dpath->sub_type == MEDIA_FILEPATH_DP0x04 && !p && path) {
405 p = utf16_to_utf8(dpath->path, dpath->length-4);
406 efi_tilt_backslashes(p);
407 continue;
408 }
409 }
410 }
411
412 if (title)
413 *title = TAKE_PTR(s)({ typeof(s) _ptr_ = (s); (s) = ((void*)0); _ptr_; });
414 if (part_uuid)
415 *part_uuid = p_uuid;
416 if (path)
417 *path = TAKE_PTR(p)({ typeof(p) _ptr_ = (p); (p) = ((void*)0); _ptr_; });
418 if (active)
419 *active = !!(header->attr & LOAD_OPTION_ACTIVE0x00000001);
420
421 return 0;
422}
423
424static void to_utf16(uint16_t *dest, const char *src) {
425 int i;
426
427 for (i = 0; src[i] != '\0'; i++)
428 dest[i] = src[i];
429 dest[i] = '\0';
430}
431
432struct guid {
433 uint32_t u1;
434 uint16_t u2;
435 uint16_t u3;
436 uint8_t u4[8];
437} _packed___attribute__ ((packed));
438
439static void id128_to_efi_guid(sd_id128_t id, void *guid) {
440 struct guid *uuid = guid;
441
442 uuid->u1 = id.bytes[0] << 24 | id.bytes[1] << 16 | id.bytes[2] << 8 | id.bytes[3];
443 uuid->u2 = id.bytes[4] << 8 | id.bytes[5];
444 uuid->u3 = id.bytes[6] << 8 | id.bytes[7];
445 memcpy(uuid->u4, id.bytes+8, sizeof(uuid->u4));
446}
447
448static uint16_t *tilt_slashes(uint16_t *s) {
449 uint16_t *p;
450
451 for (p = s; *p; p++)
452 if (*p == '/')
453 *p = '\\';
454
455 return s;
456}
457
458int efi_add_boot_option(uint16_t id, const char *title,
459 uint32_t part, uint64_t pstart, uint64_t psize,
460 sd_id128_t part_uuid, const char *path) {
461 char boot_id[9];
462 size_t size;
463 size_t title_len;
464 size_t path_len;
465 struct boot_option *option;
466 struct device_path *devicep;
467 _cleanup_free___attribute__((cleanup(freep))) char *buf = NULL((void*)0);
468
469 title_len = (strlen(title)+1) * 2;
470 path_len = (strlen(path)+1) * 2;
471
472 buf = calloc(sizeof(struct boot_option) + title_len +
473 sizeof(struct drive_path) +
474 sizeof(struct device_path) + path_len, 1);
475 if (!buf)
476 return -ENOMEM12;
477
478 /* header */
479 option = (struct boot_option *)buf;
480 option->attr = LOAD_OPTION_ACTIVE0x00000001;
481 option->path_len = offsetof(struct device_path, drive)__builtin_offsetof(struct device_path, drive) + sizeof(struct drive_path) +
482 offsetof(struct device_path, path)__builtin_offsetof(struct device_path, path) + path_len +
483 offsetof(struct device_path, path)__builtin_offsetof(struct device_path, path);
484 to_utf16(option->title, title);
485 size = offsetof(struct boot_option, title)__builtin_offsetof(struct boot_option, title) + title_len;
486
487 /* partition info */
488 devicep = (struct device_path *)(buf + size);
489 devicep->type = MEDIA_DEVICE_PATH0x04;
490 devicep->sub_type = MEDIA_HARDDRIVE_DP0x01;
491 devicep->length = offsetof(struct device_path, drive)__builtin_offsetof(struct device_path, drive) + sizeof(struct drive_path);
492 devicep->drive.part_nr = part;
493 devicep->drive.part_start = pstart;
494 devicep->drive.part_size = psize;
495 devicep->drive.signature_type = SIGNATURE_TYPE_GUID0x02;
496 devicep->drive.mbr_type = MBR_TYPE_EFI_PARTITION_TABLE_HEADER0x02;
497 id128_to_efi_guid(part_uuid, devicep->drive.signature);
498 size += devicep->length;
499
500 /* path to loader */
501 devicep = (struct device_path *)(buf + size);
502 devicep->type = MEDIA_DEVICE_PATH0x04;
503 devicep->sub_type = MEDIA_FILEPATH_DP0x04;
504 devicep->length = offsetof(struct device_path, path)__builtin_offsetof(struct device_path, path) + path_len;
505 to_utf16(devicep->path, path);
506 tilt_slashes(devicep->path);
507 size += devicep->length;
508
509 /* end of path */
510 devicep = (struct device_path *)(buf + size);
511 devicep->type = END_DEVICE_PATH_TYPE0x7f;
512 devicep->sub_type = END_ENTIRE_DEVICE_PATH_SUBTYPE0xff;
513 devicep->length = offsetof(struct device_path, path)__builtin_offsetof(struct device_path, path);
514 size += devicep->length;
515
516 xsprintf(boot_id, "Boot%04X", id)do { if ((__builtin_expect(!!(!(((size_t) snprintf(boot_id, __extension__
(__builtin_choose_expr( !__builtin_types_compatible_p(typeof
(boot_id), typeof(&*(boot_id))), sizeof(boot_id)/sizeof((
boot_id)[0]), ((void)0))), "Boot%04X", id) < (__extension__
(__builtin_choose_expr( !__builtin_types_compatible_p(typeof
(boot_id), typeof(&*(boot_id))), sizeof(boot_id)/sizeof((
boot_id)[0]), ((void)0))))))),0))) log_assert_failed_realm(LOG_REALM_SYSTEMD
, ("xsprintf: " "boot_id" "[] must be big enough"), "../src/shared/efivars.c"
, 516, __PRETTY_FUNCTION__); } while (0);
517 return efi_set_variable(EFI_VENDOR_GLOBAL((const sd_id128_t) { .bytes = { 0x8b, 0xe4, 0xdf, 0x61, 0x93
, 0xca, 0x11, 0xd2, 0xaa, 0x0d, 0x00, 0xe0, 0x98, 0x03, 0x2b,
0x8c }}), boot_id, buf, size);
518}
519
520int efi_remove_boot_option(uint16_t id) {
521 char boot_id[9];
522
523 xsprintf(boot_id, "Boot%04X", id)do { if ((__builtin_expect(!!(!(((size_t) snprintf(boot_id, __extension__
(__builtin_choose_expr( !__builtin_types_compatible_p(typeof
(boot_id), typeof(&*(boot_id))), sizeof(boot_id)/sizeof((
boot_id)[0]), ((void)0))), "Boot%04X", id) < (__extension__
(__builtin_choose_expr( !__builtin_types_compatible_p(typeof
(boot_id), typeof(&*(boot_id))), sizeof(boot_id)/sizeof((
boot_id)[0]), ((void)0))))))),0))) log_assert_failed_realm(LOG_REALM_SYSTEMD
, ("xsprintf: " "boot_id" "[] must be big enough"), "../src/shared/efivars.c"
, 523, __PRETTY_FUNCTION__); } while (0);
524 return efi_set_variable(EFI_VENDOR_GLOBAL((const sd_id128_t) { .bytes = { 0x8b, 0xe4, 0xdf, 0x61, 0x93
, 0xca, 0x11, 0xd2, 0xaa, 0x0d, 0x00, 0xe0, 0x98, 0x03, 0x2b,
0x8c }}), boot_id, NULL((void*)0), 0);
525}
526
527int efi_get_boot_order(uint16_t **order) {
528 _cleanup_free___attribute__((cleanup(freep))) void *buf = NULL((void*)0);
529 size_t l;
530 int r;
531
532 r = efi_get_variable(EFI_VENDOR_GLOBAL((const sd_id128_t) { .bytes = { 0x8b, 0xe4, 0xdf, 0x61, 0x93
, 0xca, 0x11, 0xd2, 0xaa, 0x0d, 0x00, 0xe0, 0x98, 0x03, 0x2b,
0x8c }}), "BootOrder", NULL((void*)0), &buf, &l);
533 if (r < 0)
534 return r;
535
536 if (l <= 0)
537 return -ENOENT2;
538
539 if (l % sizeof(uint16_t) > 0 ||
540 l / sizeof(uint16_t) > INT_MAX2147483647)
541 return -EINVAL22;
542
543 *order = TAKE_PTR(buf)({ typeof(buf) _ptr_ = (buf); (buf) = ((void*)0); _ptr_; });
544 return (int) (l / sizeof(uint16_t));
545}
546
547int efi_set_boot_order(uint16_t *order, size_t n) {
548 return efi_set_variable(EFI_VENDOR_GLOBAL((const sd_id128_t) { .bytes = { 0x8b, 0xe4, 0xdf, 0x61, 0x93
, 0xca, 0x11, 0xd2, 0xaa, 0x0d, 0x00, 0xe0, 0x98, 0x03, 0x2b,
0x8c }}), "BootOrder", order, n * sizeof(uint16_t));
549}
550
551static int boot_id_hex(const char s[4]) {
552 int i;
553 int id = 0;
554
555 for (i = 0; i < 4; i++)
556 if (s[i] >= '0' && s[i] <= '9')
557 id |= (s[i] - '0') << (3 - i) * 4;
558 else if (s[i] >= 'A' && s[i] <= 'F')
559 id |= (s[i] - 'A' + 10) << (3 - i) * 4;
560 else
561 return -EINVAL22;
562
563 return id;
564}
565
566static int cmp_uint16(const void *_a, const void *_b) {
567 const uint16_t *a = _a, *b = _b;
568
569 return (int)*a - (int)*b;
570}
571
572int efi_get_boot_options(uint16_t **options) {
573 _cleanup_closedir___attribute__((cleanup(closedirp))) DIR *dir = NULL((void*)0);
574 struct dirent *de;
575 _cleanup_free___attribute__((cleanup(freep))) uint16_t *list = NULL((void*)0);
576 size_t alloc = 0;
577 int count = 0;
578
579 assert(options)do { if ((__builtin_expect(!!(!(options)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("options"), "../src/shared/efivars.c", 579
, __PRETTY_FUNCTION__); } while (0);
580
581 dir = opendir("/sys/firmware/efi/efivars/");
582 if (!dir)
583 return -errno(*__errno_location ());
584
585 FOREACH_DIRENT(de, dir, return -errno)for ((*__errno_location ()) = 0, de = readdir(dir);; (*__errno_location
()) = 0, de = readdir(dir)) if (!de) { if ((*__errno_location
()) > 0) { return -(*__errno_location ()); } break; } else
if (hidden_or_backup_file((de)->d_name)) continue; else {
586 int id;
587
588 if (strncmp(de->d_name, "Boot", 4) != 0)
589 continue;
590
591 if (strlen(de->d_name) != 45)
592 continue;
593
594 if (strcmp(de->d_name + 8, "-8be4df61-93ca-11d2-aa0d-00e098032b8c") != 0)
595 continue;
596
597 id = boot_id_hex(de->d_name + 4);
598 if (id < 0)
599 continue;
600
601 if (!GREEDY_REALLOC(list, alloc, count + 1)greedy_realloc((void**) &(list), &(alloc), (count + 1
), sizeof((list)[0])))
602 return -ENOMEM12;
603
604 list[count++] = id;
605 }
606
607 qsort_safe(list, count, sizeof(uint16_t), cmp_uint16);
608
609 *options = TAKE_PTR(list)({ typeof(list) _ptr_ = (list); (list) = ((void*)0); _ptr_; }
);
610
611 return count;
612}
613
614static int read_usec(sd_id128_t vendor, const char *name, usec_t *u) {
615 _cleanup_free___attribute__((cleanup(freep))) char *j = NULL((void*)0);
616 int r;
617 uint64_t x = 0;
618
619 assert(name)do { if ((__builtin_expect(!!(!(name)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("name"), "../src/shared/efivars.c", 619,
__PRETTY_FUNCTION__); } while (0);
620 assert(u)do { if ((__builtin_expect(!!(!(u)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("u"), "../src/shared/efivars.c", 620, __PRETTY_FUNCTION__
); } while (0);
621
622 r = efi_get_variable_string(EFI_VENDOR_LOADER((const sd_id128_t) { .bytes = { 0x4a, 0x67, 0xb0, 0x82, 0x0a
, 0x4c, 0x41, 0xcf, 0xb6, 0xc7, 0x44, 0x0b, 0x29, 0xbb, 0x8c,
0x4f }}), name, &j);
623 if (r < 0)
624 return r;
625
626 r = safe_atou64(j, &x);
627 if (r < 0)
628 return r;
629
630 *u = x;
631 return 0;
632}
633
634int efi_loader_get_boot_usec(usec_t *firmware, usec_t *loader) {
635 uint64_t x, y;
636 int r;
637
638 assert(firmware)do { if ((__builtin_expect(!!(!(firmware)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("firmware"), "../src/shared/efivars.c", 638
, __PRETTY_FUNCTION__); } while (0);
639 assert(loader)do { if ((__builtin_expect(!!(!(loader)),0))) log_assert_failed_realm
(LOG_REALM_SYSTEMD, ("loader"), "../src/shared/efivars.c", 639
, __PRETTY_FUNCTION__); } while (0);
640
641 r = read_usec(EFI_VENDOR_LOADER((const sd_id128_t) { .bytes = { 0x4a, 0x67, 0xb0, 0x82, 0x0a
, 0x4c, 0x41, 0xcf, 0xb6, 0xc7, 0x44, 0x0b, 0x29, 0xbb, 0x8c,
0x4f }}), "LoaderTimeInitUSec", &x);
642 if (r < 0)
643 return r;
644
645 r = read_usec(EFI_VENDOR_LOADER((const sd_id128_t) { .bytes = { 0x4a, 0x67, 0xb0, 0x82, 0x0a
, 0x4c, 0x41, 0xcf, 0xb6, 0xc7, 0x44, 0x0b, 0x29, 0xbb, 0x8c,
0x4f }}), "LoaderTimeExecUSec", &y);
646 if (r < 0)
647 return r;
648
649 if (y == 0 || y < x)
650 return -EIO5;
651
652 if (y > USEC_PER_HOUR((usec_t) (60ULL*((usec_t) (60ULL*((usec_t) 1000000ULL))))))
653 return -EIO5;
654
655 *firmware = x;
656 *loader = y;
657
658 return 0;
659}
660
661int efi_loader_get_device_part_uuid(sd_id128_t *u) {
662 _cleanup_free___attribute__((cleanup(freep))) char *p = NULL((void*)0);
663 int r, parsed[16];
664
665 r = efi_get_variable_string(EFI_VENDOR_LOADER((const sd_id128_t) { .bytes = { 0x4a, 0x67, 0xb0, 0x82, 0x0a
, 0x4c, 0x41, 0xcf, 0xb6, 0xc7, 0x44, 0x0b, 0x29, 0xbb, 0x8c,
0x4f }}), "LoaderDevicePartUUID", &p);
666 if (r < 0)
667 return r;
668
669 if (sscanf(p, "%02x%02x%02x%02x-%02x%02x-%02x%02x-%02x%02x-%02x%02x%02x%02x%02x%02x",
670 &parsed[0], &parsed[1], &parsed[2], &parsed[3],
671 &parsed[4], &parsed[5], &parsed[6], &parsed[7],
672 &parsed[8], &parsed[9], &parsed[10], &parsed[11],
673 &parsed[12], &parsed[13], &parsed[14], &parsed[15]) != 16)
674 return -EIO5;
675
676 if (u) {
677 unsigned i;
678
679 for (i = 0; i < ELEMENTSOF(parsed)__extension__ (__builtin_choose_expr( !__builtin_types_compatible_p
(typeof(parsed), typeof(&*(parsed))), sizeof(parsed)/sizeof
((parsed)[0]), ((void)0))); i++)
680 u->bytes[i] = parsed[i];
681 }
682
683 return 0;
684}
685
686#endif
687
688char *efi_tilt_backslashes(char *s) {
689 char *p;
690
691 for (p = s; *p; p++)
692 if (*p == '\\')
693 *p = '/';
694
695 return s;
696}