549 	void *vaddr;  in fadump_cpu_notes_buf_alloc()  local
554 	vaddr = (void *)__get_free_pages(GFP_KERNEL|__GFP_ZERO, order);  in fadump_cpu_notes_buf_alloc()
555 	if (!vaddr)  in fadump_cpu_notes_buf_alloc()
559 	page = virt_to_page(vaddr);  in fadump_cpu_notes_buf_alloc()
562 	return vaddr;  in fadump_cpu_notes_buf_alloc()
565 static void fadump_cpu_notes_buf_free(unsigned long vaddr, unsigned long size)  in fadump_cpu_notes_buf_free()  argument
572 	page = virt_to_page(vaddr);  in fadump_cpu_notes_buf_free()
597 	void *vaddr;  in fadump_build_cpu_notes()  local
607 	vaddr = __va(addr);  in fadump_build_cpu_notes()
609 	reg_header = vaddr;  in fadump_build_cpu_notes()
618 	vaddr += be32_to_cpu(reg_header->num_cpu_offset);  in fadump_build_cpu_notes()
619 	num_cpus = be32_to_cpu(*((__be32 *)(vaddr)));  in fadump_build_cpu_notes()
621 	vaddr += sizeof(u32);  in fadump_build_cpu_notes()
622 	reg_entry = (struct fadump_reg_entry *)vaddr;  in fadump_build_cpu_notes()
943 	void *vaddr;  in register_fadump()  local
957 	vaddr = __va(addr);  in register_fadump()
960 	fadump_create_elfcore_headers(vaddr);  in register_fadump()