Ignore:
Timestamp:
2014-10-12T11:18:49Z (10 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
416ef49
Parents:
0b49d4e
Message:

Use exc_dispatcher() for ia64 interruptions.

This is necessary for proper cycle accounting and also CPU state
tracking (idle / non-idle). Syscalls continue to use a different
path, but call syscall_handler() eventually. The speculation
vector needs to be handled differently, outside of exc_dispatch().

File:
1 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/ia64/include/arch/mm/tlb.h

    r0b49d4e r9928240  
    8686extern void itc_pte_copy(pte_t *t);
    8787
    88 extern void alternate_instruction_tlb_fault(uint64_t vector, istate_t *istate);
    89 extern void alternate_data_tlb_fault(uint64_t vector, istate_t *istate);
    90 extern void data_nested_tlb_fault(uint64_t vector, istate_t *istate);
    91 extern void data_dirty_bit_fault(uint64_t vector, istate_t *istate);
    92 extern void instruction_access_bit_fault(uint64_t vector, istate_t *istate);
    93 extern void data_access_bit_fault(uint64_t vector, istate_t *istate);
    94 extern void data_access_rights_fault(uint64_t vector, istate_t *istate);
    95 extern void page_not_present(uint64_t vector, istate_t *istate);
     88extern void alternate_instruction_tlb_fault(unsigned int, istate_t *);
     89extern void alternate_data_tlb_fault(unsigned int, istate_t *);
     90extern void data_nested_tlb_fault(unsigned int, istate_t *);
     91extern void data_dirty_bit_fault(unsigned int, istate_t *);
     92extern void instruction_access_bit_fault(unsigned int, istate_t *);
     93extern void data_access_bit_fault(unsigned int, istate_t *);
     94extern void data_access_rights_fault(unsigned int, istate_t *);
     95extern void page_not_present(unsigned int, istate_t *);
    9696
    9797#endif
Note: See TracChangeset for help on using the changeset viewer.