ACCESSOR          788 arch/x86/kernel/cpu/mcheck/mce_64.c ACCESSOR(bank1ctl,bank[1],mce_restart())
ACCESSOR          789 arch/x86/kernel/cpu/mcheck/mce_64.c ACCESSOR(bank2ctl,bank[2],mce_restart())
ACCESSOR          790 arch/x86/kernel/cpu/mcheck/mce_64.c ACCESSOR(bank3ctl,bank[3],mce_restart())
ACCESSOR          791 arch/x86/kernel/cpu/mcheck/mce_64.c ACCESSOR(bank4ctl,bank[4],mce_restart())
ACCESSOR          792 arch/x86/kernel/cpu/mcheck/mce_64.c ACCESSOR(bank5ctl,bank[5],mce_restart())
ACCESSOR          817 arch/x86/kernel/cpu/mcheck/mce_64.c ACCESSOR(check_interval,check_interval,mce_restart())