version 1.6.2.3, 2010/08/11 22:52:55 |
version 1.7, 2008/04/28 20:23:40 |
Line 49 void x86_lfence(void); |
|
Line 49 void x86_lfence(void); |
|
void x86_sfence(void); |
void x86_sfence(void); |
void x86_mfence(void); |
void x86_mfence(void); |
void x86_flush(void); |
void x86_flush(void); |
#ifndef XEN |
void x86_patch(void); |
void x86_patch(bool); |
|
#endif |
|
void invlpg(vaddr_t); |
void invlpg(vaddr_t); |
void lidt(struct region_descriptor *); |
void lidt(struct region_descriptor *); |
void lldt(u_short); |
void lldt(u_short); |
void ltr(u_short); |
void ltr(u_short); |
void lcr0(u_long); |
void lcr0(u_int); |
u_long rcr0(void); |
u_int rcr0(void); |
void lcr2(vaddr_t); |
void lcr2(vaddr_t); |
vaddr_t rcr2(void); |
vaddr_t rcr2(void); |
void lcr3(vaddr_t); |
void lcr3(vaddr_t); |
Line 106 void x86_write_psl(u_long); |
|
Line 104 void x86_write_psl(u_long); |
|
u_long x86_read_flags(void); |
u_long x86_read_flags(void); |
void x86_write_flags(u_long); |
void x86_write_flags(u_long); |
|
|
void x86_reset(void); |
|
|
|
/* |
/* |
* Some of the undocumented AMD64 MSRs need a 'passcode' to access. |
* Some of the undocumented AMD64 MSRs need a 'passcode' to access. |
* |
* |
Line 122 uint64_t rdtsc(void); |
|
Line 118 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, u_int, uint64_t); |
void wrmsr_locked(u_int, u_int, uint64_t); |
void setfs(int); |
|
void setusergs(int); |
|
|
|
#endif /* _KERNEL */ |
#endif /* _KERNEL */ |
|
|