Searched refs:kernel_configuration (Results 1 – 1 of 1) sorted by relevance
31 uint32_t kernel_configuration; in start() local39 kernel_configuration = PE_i_can_has_kernel_configuration(); in start()41 (kernel_configuration & kPEICanHasAssertions) ? "enabled" : "disabled"); in start()43 (kernel_configuration & kPEICanHasStatistics) ? "enabled" : "disabled"); in start()45 (kernel_configuration & kPEICanHasDiagnosticAPI) ? "enabled" : "disabled"); in start()