1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
|
/*
* kernel_memory.h
* Brandon Azad
*/
#ifndef VOUCHER_SWAP__KERNEL_MEMORY_H_
#define VOUCHER_SWAP__KERNEL_MEMORY_H_
#include <mach/mach.h>
#include <stdbool.h>
#include <stddef.h>
#include <stdint.h>
#ifdef KERNEL_MEMORY_EXTERN
#define extern KERNEL_MEMORY_EXTERN
#endif
/*
* kernel_task_port
*
* Description:
* The kernel task port.
*/
extern mach_port_t kernel_task_port;
/*
* kernel_task
*
* Description:
* The address of the kernel_task in kernel memory.
*/
extern uint64_t kernel_task;
/*
* current_task
*
* Description:
* The address of the current task in kernel memory.
*/
extern uint64_t current_task;
/*
* kernel_read
*
* Description:
* Read data from kernel memory.
*/
bool kernel_read(uint64_t address, void *data, size_t size);
/*
* kernel_write
*
* Description:
* Write data to kernel memory.
*/
bool kernel_write(uint64_t address, const void *data, size_t size);
/*
* kernel_read8
*
* Description:
* Read a single byte from kernel memory. If the read fails, -1 is returned.
*/
uint8_t kernel_read8(uint64_t address);
/*
* kernel_read16
*
* Description:
* Read a 16-bit value from kernel memory. If the read fails, -1 is returned.
*/
uint16_t kernel_read16(uint64_t address);
/*
* kernel_read32
*
* Description:
* Read a 32-bit value from kernel memory. If the read fails, -1 is returned.
*/
uint32_t kernel_read32(uint64_t address);
/*
* kernel_read64
*
* Description:
* Read a 64-bit value from kernel memory. If the read fails, -1 is returned.
*/
uint64_t kernel_read64(uint64_t address);
/*
* kernel_write8
*
* Description:
* Write a single byte to kernel memory.
*/
bool kernel_write8(uint64_t address, uint8_t value);
/*
* kernel_write16
*
* Description:
* Write a 16-bit value to kernel memory.
*/
bool kernel_write16(uint64_t address, uint16_t value);
/*
* kernel_write32
*
* Description:
* Write a 32-bit value to kernel memory.
*/
bool kernel_write32(uint64_t address, uint32_t value);
/*
* kernel_write64
*
* Description:
* Write a 64-bit value to kernel memory.
*/
bool kernel_write64(uint64_t address, uint64_t value);
/*
* kernel_ipc_port_lookup
*
* Description:
* Get the address of the ipc_port and ipc_entry for a Mach port name.
*/
bool kernel_ipc_port_lookup(uint64_t task, mach_port_name_t port_name,
uint64_t *ipc_port, uint64_t *ipc_entry);
#undef extern
#endif
|
