Rev 3862 | Rev 4614 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 3862 | Rev 4130 | ||
---|---|---|---|
Line 42... | Line 42... | ||
42 | #include <macros.h> |
42 | #include <macros.h> |
43 | #include <arch/types.h> |
43 | #include <arch/types.h> |
44 | #include <synch/synch.h> |
44 | #include <synch/synch.h> |
45 | #include <synch/waitq.h> |
45 | #include <synch/waitq.h> |
46 | #include <print.h> |
46 | #include <print.h> |
47 | #include <arch/cpu_node.h> |
- | |
48 | 47 | ||
49 | /** Determine number of processors. */ |
48 | /** Determine number of processors. */ |
50 | void smp_init(void) |
49 | void smp_init(void) |
51 | { |
50 | { |
52 | // TODO: replace with a real # of CPUs as soon as the MD walkthrough is implemented |
51 | // TODO: replace with a real # of CPUs as soon as the MD walkthrough is implemented |