Changes in kernel/arch/ia64/src/mm/tlb.c [9928240:1dbc43f] in mainline

File:

• kernel/arch/ia64/src/mm/tlb.c (modified) (8 diffs)

kernel/arch/ia64/src/mm/tlb.c

@@ -477 +477 @@
 /** Instruction TLB fault handler for faults with VHPT turned off.
  *
- * @param n Interruption vector.
- * @param istate Structure with saved interruption state.
- *
- */
-void alternate_instruction_tlb_fault(unsigned int n, istate_t *istate)
+ * @param vector Interruption vector.
+ * @param istate Structure with saved interruption state.
+ *
+ */
+void alternate_instruction_tlb_fault(uint64_t vector, istate_t *istate)
 {
         uintptr_t va;
@@ -566 +566 @@
 /** Data TLB fault handler for faults with VHPT turned off.
  *
- * @param n Interruption vector.
- * @param istate Structure with saved interruption state.
- *
- */
-void alternate_data_tlb_fault(unsigned int n, istate_t *istate)
+ * @param vector Interruption vector.
+ * @param istate Structure with saved interruption state.
+ *
+ */
+void alternate_data_tlb_fault(uint64_t vector, istate_t *istate)
 {
         if (istate->cr_isr.sp) {
@@ -623 +623 @@
  * This fault should not occur.
  *
- * @param n Interruption vector.
- * @param istate Structure with saved interruption state.
- *
- */
-void data_nested_tlb_fault(unsigned int n, istate_t *istate)
+ * @param vector Interruption vector.
+ * @param istate Structure with saved interruption state.
+ *
+ */
+void data_nested_tlb_fault(uint64_t vector, istate_t *istate)
 {
         ASSERT(false);
@@ -634 +634 @@
 /** Data Dirty bit fault handler.
  *
- * @param n Interruption vector.
- * @param istate Structure with saved interruption state.
- *
- */
-void data_dirty_bit_fault(unsigned int n, istate_t *istate)
+ * @param vector Interruption vector.
+ * @param istate Structure with saved interruption state.
+ *
+ */
+void data_dirty_bit_fault(uint64_t vector, istate_t *istate)
 {
         uintptr_t va;
@@ -665 +665 @@
 /** Instruction access bit fault handler.
  *
- * @param n Interruption vector.
- * @param istate Structure with saved interruption state.
- *
- */
-void instruction_access_bit_fault(unsigned int n, istate_t *istate)
+ * @param vector Interruption vector.
+ * @param istate Structure with saved interruption state.
+ *
+ */
+void instruction_access_bit_fault(uint64_t vector, istate_t *istate)
 {
         uintptr_t va;
@@ -694 +694 @@
 /** Data access bit fault handler.
  *
- * @param n Interruption vector.
- * @param istate Structure with saved interruption state.
- *
- */
-void data_access_bit_fault(unsigned int n, istate_t *istate)
+ * @param vector Interruption vector.
+ * @param istate Structure with saved interruption state.
+ *
+ */
+void data_access_bit_fault(uint64_t vector, istate_t *istate)
 {
         uintptr_t va;
@@ -729 +729 @@
 /** Data access rights fault handler.
  *
- * @param n Interruption vector.
- * @param istate Structure with saved interruption state.
- *
- */
-void data_access_rights_fault(unsigned int n, istate_t *istate)
+ * @param vector Interruption vector.
+ * @param istate Structure with saved interruption state.
+ *
+ */
+void data_access_rights_fault(uint64_t vector, istate_t *istate)
 {
         uintptr_t va;
@@ -753 +753 @@
 /** Page not present fault handler.
  *
- * @param n Interruption vector.
- * @param istate Structure with saved interruption state.
- *
- */
-void page_not_present(unsigned int n, istate_t *istate)
+ * @param vector Interruption vector.
+ * @param istate Structure with saved interruption state.
+ *
+ */
+void page_not_present(uint64_t vector, istate_t *istate)
 {
         uintptr_t va;