Searched refs:tdx_serial (Results 1 – 3 of 3) sorted by relevance
36 unsigned int serial = tdx_serial; in get_board_serial()77 sprintf(tdx_serial_str, "%08u", tdx_serial); in show_board_info()127 if (tdx_serial) { in ft_common_board_setup()
55 u32 tdx_serial; variable241 tdx_serial = ntohl(tdx_eth_addr.nic) >> 8; in read_tdx_cfg_block()375 tdx_serial = simple_strtoul(console_buffer, NULL, 10); in get_cfgblock_interactive()397 tdx_serial = simple_strtoul(barcode, NULL, 10); in get_cfgblock_barcode()466 tdx_eth_addr.nic = htonl(tdx_serial << 8); in do_cfgblock_create()
63 extern u32 tdx_serial;