1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72

/// Macro for printing to the **host's** standard stderr
#[macro_export]
macro_rules! ehprint {
    ($s:expr) => {
        $crate::semihosting:::io:ewrite_str($s);
    };
    ($($arg:tt)*) => {
        $crate::semihosting::io::ewrite_fmt(format_args!($($arg)*));
    };
}

/// Macro for printing to the **host's** standard error, with a newline.
#[macro_export]
macro_rules! ehprintln {
    () => (ehprint!("\n"));
    ($fmt:expr) => {
        ehprint!(concat!($fmt, "\n"));
    };
    ($fmt:expr, $($arg:tt)*) => {
        ehprint!(concat!($fmt, "\n"), $($arg)*);
    };
}

/// Macro for printing to the **host's** standard output
#[macro_export]
macro_rules! hprint {
    ($s:expr) => {
        $crate::semihosting::io::write_str($s);
    };
    ($($arg:tt)*) => {
        $crate::semihosting::io::write_fmt(format_args!($($arg)*));
    };
}

/// Macro for printing to the **host's** standard output, with a newline.
#[macro_export]
macro_rules! hprintln {
    () => {
        hprint!("\n");
    };
    ($fmt:expr) => {
        hprint!(concat!($fmt, "\n"));
    };
    ($fmt:expr, $($arg:tt)*) => {
        hprint!(concat!($fmt, "\n"), $($arg)*);
    };
}

/// Macro for sending a formatted string through an ITM channel
#[macro_export]
macro_rules! iprint {
    ($channel:expr, $s:expr) => {
        $crate::itm::write_str($channel, $s);
    };
    ($channel:expr, $($arg:tt)*) => {
        $crate::itm::write_fmt($channel, format_args!($($arg)*));
    };
}

/// Macro for sending a formatted string through an ITM channel, with a newline.
#[macro_export]
macro_rules! iprintln {
    ($channel:expr) => {
        iprint!($channel, "\n");
    };
    ($channel:expr, $fmt:expr) => {
        iprint!($channel, concat!($fmt, "\n"));
    };
    ($channel:expr, $fmt:expr, $($arg:tt)*) => {
        iprint!($channel, concat!($fmt, "\n"), $($arg)*);
    };
}