Rev 27 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 27 | Rev 28 | ||
|---|---|---|---|
| Line 57... | Line 57... | ||
| 57 | 57 | ||
| 58 | extern void halt_cpu(void); |
58 | extern void halt_cpu(void); |
| 59 | extern void cpu_sleep(void); |
59 | extern void cpu_sleep(void); |
| 60 | 60 | ||
| 61 | extern void write_dr0(__u32 v); |
61 | extern void write_dr0(__u32 v); |
| 62 | extern __u32 read_dr0(void); |
62 | extern inline __u32 read_dr0(void); |
| 63 | 63 | ||
| 64 | #endif |
64 | #endif |