Searched refs:read_tdx_cfg_block (Results 1 – 3 of 3) sorted by relevance
190 int read_tdx_cfg_block(void) in read_tdx_cfg_block() function422 read_tdx_cfg_block(); in do_cfgblock_create()530 ret = read_tdx_cfg_block(); in do_cfgblock()
66 int read_tdx_cfg_block(void);
70 if (read_tdx_cfg_block()) { in show_board_info()