diff options
Diffstat (limited to 'kern/linux/linux_system.hh')
| -rw-r--r-- | kern/linux/linux_system.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kern/linux/linux_system.hh b/kern/linux/linux_system.hh index 53800db29..8b07bedf7 100644 --- a/kern/linux/linux_system.hh +++ b/kern/linux/linux_system.hh @@ -102,6 +102,7 @@ class LinuxSystem : public System LinuxBadAddrEvent *badaddrEvent; LinuxSkipFuncEvent *skipPowerStateEvent; LinuxSkipFuncEvent *skipScavengeBootEvent; + LinuxSkipFuncEvent *skipCacheProbeEvent; LinuxSkipIdeDelay50msEvent *skipIdeDelay50msEvent; LinuxSkipDelayLoopEvent *skipDelayLoopEvent; LinuxPrintfEvent *printfEvent; |