version 1.22.8.1, 2018/03/06 10:17:11 |
version 1.23, 2017/10/15 11:31:00 |
Line 50 void x86_sfence(void); |
|
Line 50 void x86_sfence(void); |
|
void x86_mfence(void); |
void x86_mfence(void); |
void x86_flush(void); |
void x86_flush(void); |
#ifndef XEN |
#ifndef XEN |
void x86_hotpatch(uint32_t, const uint8_t *, size_t); |
|
void x86_patch_window_open(u_long *, u_long *); |
|
void x86_patch_window_close(u_long, u_long); |
|
void x86_patch(bool); |
void x86_patch(bool); |
#endif |
#endif |
void invlpg(vaddr_t); |
void invlpg(vaddr_t); |
Line 152 uint64_t rdtsc(void); |
|
Line 149 uint64_t rdtsc(void); |
|
uint64_t rdpmc(u_int); |
uint64_t rdpmc(u_int); |
void wrmsr(u_int, uint64_t); |
void wrmsr(u_int, uint64_t); |
void wrmsr_locked(u_int, uint64_t); |
void wrmsr_locked(u_int, uint64_t); |
|
void setds(int); |
|
void setes(int); |
void setfs(int); |
void setfs(int); |
void setusergs(int); |
void setusergs(int); |
|
|