@@ -7,41 +7,28 @@ pub mod x86_64;
7
7
8
8
// Export our platform-specific modules.
9
9
#[ cfg( target_arch = "aarch64" ) ]
10
- pub use crate :: arch:: aarch64:: * ;
11
-
12
- #[ cfg( target_arch = "aarch64" ) ]
13
- pub use crate :: arch:: aarch64:: kernel:: stubs:: { set_oneshot_timer, wakeup_core} ;
14
-
10
+ pub use crate :: arch:: aarch64:: kernel:: irq;
15
11
#[ cfg( target_arch = "aarch64" ) ]
16
- pub use crate :: arch:: aarch64:: kernel:: {
17
- application_processor_init, boot_application_processors, boot_processor_init,
18
- get_processor_count, message_output_init, output_message_buf, output_message_byte,
19
- } ;
20
-
12
+ pub use crate :: arch:: aarch64:: kernel:: percore;
21
13
#[ cfg( target_arch = "aarch64" ) ]
22
14
use crate :: arch:: aarch64:: kernel:: percore:: core_scheduler;
23
-
24
15
#[ cfg( target_arch = "aarch64" ) ]
25
- pub use crate :: arch:: aarch64:: kernel:: percore;
26
-
16
+ pub use crate :: arch:: aarch64:: kernel:: processor;
27
17
#[ cfg( target_arch = "aarch64" ) ]
28
18
pub use crate :: arch:: aarch64:: kernel:: scheduler;
29
-
30
19
#[ cfg( target_arch = "aarch64" ) ]
31
- pub use crate :: arch:: aarch64:: kernel:: processor;
32
-
20
+ pub use crate :: arch:: aarch64:: kernel:: stubs:: { set_oneshot_timer, wakeup_core} ;
33
21
#[ cfg( target_arch = "aarch64" ) ]
34
- pub use crate :: arch:: aarch64:: kernel:: irq;
35
-
22
+ pub use crate :: arch:: aarch64:: kernel:: switch;
36
23
#[ cfg( target_arch = "aarch64" ) ]
37
24
pub use crate :: arch:: aarch64:: kernel:: systemtime:: get_boot_time;
38
-
39
25
#[ cfg( target_arch = "aarch64" ) ]
40
- pub use crate :: arch:: aarch64:: kernel:: switch;
41
-
42
- #[ cfg( target_arch = "x86_64" ) ]
43
- pub use crate :: arch:: x86_64:: * ;
44
-
26
+ pub use crate :: arch:: aarch64:: kernel:: {
27
+ application_processor_init, boot_application_processors, boot_processor_init,
28
+ get_processor_count, message_output_init, output_message_buf, output_message_byte,
29
+ } ;
30
+ #[ cfg( target_arch = "aarch64" ) ]
31
+ pub use crate :: arch:: aarch64:: * ;
45
32
#[ cfg( target_arch = "x86_64" ) ]
46
33
pub use crate :: arch:: x86_64:: kernel:: apic:: { set_oneshot_timer, wakeup_core} ;
47
34
#[ cfg( all( target_arch = "x86_64" , target_os = "none" , feature = "smp" ) ) ]
@@ -66,6 +53,8 @@ pub use crate::arch::x86_64::kernel::{boot_application_processors, boot_processo
66
53
pub use crate :: arch:: x86_64:: kernel:: {
67
54
get_processor_count, message_output_init, output_message_buf, output_message_byte,
68
55
} ;
56
+ #[ cfg( target_arch = "x86_64" ) ]
57
+ pub use crate :: arch:: x86_64:: * ;
69
58
70
59
pub fn init_drivers ( ) {
71
60
// Initialize PCI Drivers if on x86_64
0 commit comments