Changes between Initial Version and Version 1 of Ticket #318, comment 4


Ignore:
Timestamp:
2011-03-23T15:41:58Z (13 years ago)
Author:
Jakub Jermář

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #318, comment 4

    initial v1  
    44>  * What should be done when the ASIDs don't match?
    55
    6 The ASIDs should match except for a little window in 'as_switch()'. If they don't match, it is an error.
     6The ASIDs should match except for a little window in `as_switch()`. If they don't match, it is an error.
    77
    88For the sake of debugging this, we should modify to code to print the information about the interrupted context, especially PC and registers and also the address which caused the TLB miss.