|
@@ -169,6 +169,8 @@ extern int do_page_fault(struct pt_regs *, unsigned long, unsigned long);
|
|
|
extern void bad_page_fault(struct pt_regs *, unsigned long, int);
|
|
|
extern int die(const char *, struct pt_regs *, long);
|
|
|
extern void _exception(int, struct pt_regs *, int, unsigned long);
|
|
|
+extern void _nmask_and_or_msr(unsigned long nmask, unsigned long or_val);
|
|
|
+
|
|
|
#ifdef CONFIG_BOOKE_WDT
|
|
|
extern u32 booke_wdt_enabled;
|
|
|
extern u32 booke_wdt_period;
|