fadump_setup_cpu_notes_buf
s32 __init fadump_setup_cpu_notes_buf(u32 num_cpus);
rc = fadump_setup_cpu_notes_buf(num_cpus);