get_diag318_info
uint64_t get_diag318_info(void);
if (get_diag318_info() > 0) {
run->s.regs.diag318 = get_diag318_info();
TEST_ASSERT(run->s.regs.diag318 == get_diag318_info(),