is_ppc_trustedboot_enabled
bool is_ppc_trustedboot_enabled(void);
if (is_ppc_trustedboot_enabled())
} else if (is_ppc_trustedboot_enabled()) {