Marcel Moolenaar 40c46ad800 Change the (generic) argument to ia64_store_mca_state() from the
cpuid to the struct pcpu of the CPU. We casting between pointer
types only then.
2010-04-13 15:55:18 +00:00
..
2010-02-14 16:56:24 +00:00
2010-03-27 06:53:11 +00:00
2010-04-13 15:51:25 +00:00