Searched refs:PsciState (Results 1 – 2 of 2) sorted by relevance
161 uint32_t PsciState; member
301 sec->CpuInfo.PsciState = 0; in cper_write_cpu_record()421 VERBOSE(" PsciState = %u\n", sec->CpuInfo.PsciState); in print_cpu_section_header()