Searched refs:os_id (Results 1 - 1 of 1) sorted by relevance

/systemd/src/boot/efi/
H A Dboot.c1520 CHAR16 *os_id = NULL; local
1559 FreePool(os_id);
1560 os_id = stra_to_str(value);
1577 if (os_name && os_id && (os_version || os_build)) {
1582 conf = PoolPrint(L"%s-%s", os_id, os_version ? : os_build);
1600 FreePool(os_id);

Completed in 1796 milliseconds