config X86_WANT_INTEL_MID
bool "Intel MID platform support"
- depends on X86_32
depends on X86_EXTENDED_PLATFORM
---help---
Select to build a kernel capable of supporting Intel MID platform
config X86_INTEL_MID
bool "Intel MID platform"
depends on PCI
- depends on PCI_GOANY
depends on X86_IO_APIC
select SFI
select INTEL_SCU_IPC
}
}
+#ifdef CONFIG_X86_32
int verify_stack_ok(unsigned int *good_ebp, unsigned int *_ebp)
{
return ((unsigned int)_ebp & 0xffffe000) ==
return i + 1;
}
+#else
+int verify_stack_ok(unsigned int *a, unsigned int *b) {
+ return 1;
+}
+
+size_t backtrace_safe(void **array, size_t max_size) {
+ return 0;
+}
+#endif
void dump_nc_power_history(void)
{