version 1.2, 2007/09/26 23:48:37 |
version 1.2.2.3, 2007/11/21 21:53:36 |
Line 124 uint64_t rdpmc(u_int); |
|
Line 124 uint64_t rdpmc(u_int); |
|
void wrmsr(u_int, uint64_t); |
void wrmsr(u_int, uint64_t); |
void wrmsr_locked(u_int, u_int, u_int64_t); |
void wrmsr_locked(u_int, u_int, u_int64_t); |
|
|
/* |
|
* XXX Maybe these don't belong here... |
|
*/ |
|
|
|
extern int (*copyout_func)(const void *, void *, size_t); |
|
extern int (*copyin_func)(const void *, void *, size_t); |
|
|
|
int i386_copyout(const void *, void *, size_t); |
|
int i486_copyout(const void *, void *, size_t); |
|
|
|
int i386_copyin(const void *, void *, size_t); |
|
|
|
#endif /* _KERNEL */ |
#endif /* _KERNEL */ |
|
|
#endif /* !_X86_CPUFUNC_H_ */ |
#endif /* !_X86_CPUFUNC_H_ */ |