Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changes between Initial Version and Version 1 of Ticket #782, comment 5


Ignore:
Timestamp:
2018-12-25T18:40:18Z (2 years ago)
Author:
Jakub Jermář
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #782, comment 5

    initial v1  
    1 I made a couple of experiments which helped me to narrow down the problem. It looks like the following precedure executes as expected when called **after** the kernel's call to `as_switch()` in `page_arch_init()` and misbehaves if executed **before**:
     1I made a couple of experiments which helped me to narrow down the problem. It looks like the following test procedure executes as expected when called **after** the kernel's call to `as_switch()` in `page_arch_init()` and misbehaves if executed **before**:
    22
    33{{{
     
    7780a47b1c:       e24dd008        sub     sp, sp, #8
    88
    9 80a47b20:       ee070fba        mcr     15, 0, r0, cr7, cr10, {5}   <=== DMB
     980a47b20:       ee070fba        mcr     15, 0, r0, cr7, cr10, {5}   <= DMB
    101080a47b24:       e24b3010        sub     r3, fp, #16
    1111