Lines Matching +full:serial +full:- +full:number
4 * SPDX-License-Identifier: GPL-2.0+
11 #include "tdx-cfg-block.h"
13 #include "tdx-common.h"
36 unsigned int serial = tdx_serial; in get_board_serial() local
39 serialnr->low = 0; in get_board_serial()
40 serialnr->high = 0; in get_board_serial()
43 if (serial) { in get_board_serial()
45 * Convert to Linux serial number format (hexadecimal coded in get_board_serial()
49 while (serial) { in get_board_serial()
50 array[i--] = serial % 10; in get_board_serial()
51 serial /= 10; in get_board_serial()
54 array[i--] = 0; in get_board_serial()
55 serial = array[0]; in get_board_serial()
57 serial *= 16; in get_board_serial()
58 serial += array[i]; in get_board_serial()
61 serialnr->low = serial; in get_board_serial()
76 /* board serial-number */ in show_board_info()
83 env_set("serial#", tdx_serial_str); in show_board_info()
104 printf("Model: Toradex %s %s, Serial# %s\n", in show_board_info()
118 put_unaligned(usb_pid, &dev->idProduct); in g_dnl_bind_fixup()
128 fdt_setprop(blob, 0, "serial-number", tdx_serial_str, in ft_common_board_setup()
136 fdt_setprop(blob, 0, "toradex,product-id", prod_id, 5); in ft_common_board_setup()
138 fdt_setprop(blob, 0, "toradex,board-rev", tdx_board_rev_str, in ft_common_board_setup()