Symbol: setenv_int
usr/src/boot/efi/loader/main.c
538
setenv_int("efi_8250_uid", acpi->UID);
usr/src/boot/efi/loader/main.c
545
setenv_int("efi_com_speed", uart->BaudRate);