Searched refs:tdx_serial_str (Results 1 – 1 of 1) sorted by relevance
16 static char tdx_serial_str[9]; variable77 sprintf(tdx_serial_str, "%08u", tdx_serial); in show_board_info()83 env_set("serial#", tdx_serial_str); in show_board_info()107 tdx_serial_str); in show_board_info()128 fdt_setprop(blob, 0, "serial-number", tdx_serial_str, in ft_common_board_setup()129 strlen(tdx_serial_str) + 1); in ft_common_board_setup()