Symbol: setenv_int
stand/efi/loader/main.c
1036
setenv_int("efi_8250_uid", acpi->UID);
stand/efi/loader/main.c
1043
setenv_int("efi_com_speed", uart->BaudRate);