28 static size_t win_dump_ptr_size(bool x64)  in win_dump_ptr_size()
42 static size_t win_dump_ctx_size(bool x64)  in win_dump_ctx_size()
83 static void write_runs(DumpState *s, WinDumpHeader *h, bool x64, Error **errp)  in write_runs()
100 static int cpu_read_ptr(bool x64, CPUState *cpu, uint64_t addr, uint64_t *ptr)  in cpu_read_ptr()
114 static void patch_mm_pfn_database(WinDumpHeader *h, bool x64, Error **errp)  in patch_mm_pfn_database()
125 static void patch_bugcheck_data(WinDumpHeader *h, bool x64, Error **errp)  in patch_bugcheck_data()
155 static void patch_header(WinDumpHeader *h, bool x64)  in patch_header()
180 static bool check_header(WinDumpHeader *h, bool *x64, Error **errp)  in check_header()
203 static void check_kdbg(WinDumpHeader *h, bool x64, Error **errp)  in check_kdbg()
249 static void patch_and_save_context(WinDumpHeader *h, bool x64,  in patch_and_save_context()
395 static void restore_context(WinDumpHeader *h, bool x64,  in restore_context()
415     bool x64 = true;  in create_win_dump()  local