Skip to content
Snippets Groups Projects
Commit 5d5c0de2 authored by Per's avatar Per
Browse files

fix

parent 434f9d6d
Branches
No related tags found
No related merge requests found
...@@ -285,9 +285,9 @@ Race freeness at this level can be argued from: ...@@ -285,9 +285,9 @@ Race freeness at this level can be argued from:
```rust ```rust
... ...
LOW.claim_mut_new(b, t, |_low, b, t| { LOW.claim_mut(b, t, |_low, b, t| {
rtfm::bkpt(); rtfm::bkpt();
LOW.claim_mut_new(b, t, |_high, _, _| { LOW.claim_mut(b, t, |_high, _, _| {
rtfm::bkpt(); rtfm::bkpt();
}); });
}); });
...@@ -661,10 +661,10 @@ fn exti0( ...@@ -661,10 +661,10 @@ fn exti0(
Amounts to the following assembly (including the interrupt entry code.) Amounts to the following assembly (including the interrupt entry code.)
```rust ```rust
Dump of assembler code for function nested_new::_EXTI0: Dump of assembler code for function nested_new::_EXTI0:
0x080005a6 <+0>: movs r1, #224 ; 0xe0 0x080005a6 <+0>: movs r1, #224 ; 0xe0
=> 0x080005a8 <+2>: bkpt 0x0000 => 0x080005a8 <+2>: bkpt 0x0000
0x080005aa <+4>: mrs r0, BASEPRI 0x080005aa <+4>: mrs r0, BASEPRI
0x080005ae <+8>: movs r2, #208 ; 0xd0 0x080005ae <+8>: movs r2, #208 ; 0xd0
0x080005b0 <+10>: msr BASEPRI, r1 0x080005b0 <+10>: msr BASEPRI, r1
0x080005b4 <+14>: bkpt 0x0000 0x080005b4 <+14>: bkpt 0x0000
0x080005b6 <+16>: mrs r1, BASEPRI 0x080005b6 <+16>: mrs r1, BASEPRI
...@@ -689,10 +689,10 @@ In an exprimental version of the RTFM implementation this observation has been e ...@@ -689,10 +689,10 @@ In an exprimental version of the RTFM implementation this observation has been e
```rust ```rust
Dump of assembler code for function nested_new::_EXTI3: Dump of assembler code for function nested_new::_EXTI3:
0x080005d0 <+0>: movs r1, #224 ; 0xe0 0x080005d0 <+0>: movs r1, #224 ; 0xe0
0x080005d2 <+2>: movs r2, #208 ; 0xd0 0x080005d2 <+2>: movs r2, #208 ; 0xd0
=> 0x080005d4 <+4>: bkpt 0x0000 => 0x080005d4 <+4>: bkpt 0x0000
0x080005d6 <+6>: mrs r0, BASEPRI 0x080005d6 <+6>: mrs r0, BASEPRI
0x080005da <+10>: msr BASEPRI, r1 0x080005da <+10>: msr BASEPRI, r1
0x080005de <+14>: bkpt 0x0000 0x080005de <+14>: bkpt 0x0000
0x080005e0 <+16>: msr BASEPRI, r2 0x080005e0 <+16>: msr BASEPRI, r2
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment