crash_get_elfcorehdr_size
#define crash_get_elfcorehdr_size arch_crash_get_elfcorehdr_size
#define crash_get_elfcorehdr_size arch_crash_get_elfcorehdr_size
static inline unsigned int crash_get_elfcorehdr_size(void) { return 0; }