Home
last modified time | relevance | path

Searched refs:tdx_serial (Results 1 – 3 of 3) sorted by relevance

/u-boot/board/toradex/common/
A Dtdx-common.c52 unsigned int serial = tdx_serial; in get_board_serial()
89 tdx_eth_addr.nic = htonl(tdx_serial << 8); in show_board_info()
92 sprintf(tdx_serial_str, "%08u", tdx_serial); in show_board_info()
165 if (tdx_serial) { in ft_common_board_setup()
A Dtdx-cfg-block.h103 extern u32 tdx_serial;
A Dtdx-cfg-block.c78 u32 tdx_serial; variable
335 tdx_serial = ntohl(tdx_eth_addr.nic) >> 8; in read_tdx_cfg_block()
551 tdx_serial = simple_strtoul(console_buffer, NULL, 10); in get_cfgblock_interactive()
930 &tdx_serial); in do_cfgblock_create()
933 &tdx_serial); in do_cfgblock_create()
942 tdx_eth_addr.nic = htonl(tdx_serial << 8); in do_cfgblock_create()

Completed in 7 milliseconds