TOD_NOFAULT
case TOD_NOFAULT:
plat_tod_fault(TOD_NOFAULT);
if (tod_faulted == TOD_NOFAULT) {
if (tod_faulted == TOD_NOFAULT) {
if (tod_faulted == TOD_NOFAULT) {
if ((tod_validate_enable == 0) || (tod_faulted != TOD_NOFAULT) ||
enum tod_fault_type tod_bad = TOD_NOFAULT;
if ((tod_validate_enable == 0) || (tod_faulted != TOD_NOFAULT) ||
(void) tod_fault(TOD_NOFAULT, 0);
if (tod_bad != TOD_NOFAULT) {
static enum tod_fault_type tod_faulted = TOD_NOFAULT;
if (!tod_broken && tod_faulted == TOD_NOFAULT) {
case TOD_NOFAULT: