Searched refs:read_tdx_cfg_block (Results 1 – 3 of 3) sorted by relevance
199 int read_tdx_cfg_block(void) in read_tdx_cfg_block() function431 read_tdx_cfg_block(); in do_cfgblock_create()539 ret = read_tdx_cfg_block(); in do_cfgblock()
72 int read_tdx_cfg_block(void);
70 if (read_tdx_cfg_block()) { in show_board_info()