Symbol: put_dec_full4
drivers/firmware/efi/libstub/vsprintf.c
38
void put_dec_full4(char *end, unsigned int r)
lib/vsprintf.c
325
put_dec_full4(char *buf, unsigned r)