1 | /*␊ |
2 | * Copyright (c) 2009 Evan Lojewski. All rights reserved.␊ |
3 | *␊ |
4 | */␊ |
5 | ␊ |
6 | #include <mach-o/loader.h>␊ |
7 | #include <mach-o/nlist.h>␊ |
8 | ␊ |
9 | #ifndef __BOOT2_KERNEL_PATCHER_H␊ |
10 | #define __BOOT2_KERNEL_PATCHER_H␊ |
11 | ␊ |
12 | void patch_kernel(void* kernelData);␊ |
13 | ␊ |
14 | #define KERNEL_64␉1␊ |
15 | #define KERNEL_32␉2␊ |
16 | ␊ |
17 | int locate_symbols(void* kernelData);␊ |
18 | ␊ |
19 | void patch_kernel_32(void* kernelData);␊ |
20 | void patch_kernel_64(void* kernelData);␊ |
21 | ␊ |
22 | ␊ |
23 | ␊ |
24 | void patch_cpuid_set_info(void* kernelData, UInt32 impersonateFamily, UInt8 inpersonateModel);␊ |
25 | void patch_pmCPUExitHaltToOff(void* kernelData);␊ |
26 | void patch_lapic_init(void* kernelData);␊ |
27 | void patch_commpage_stuff_routine(void* kernelData);␊ |
28 | #endif /* !__BOOT2_KERNEL_PATCHER_H */␊ |
29 | |