Changeset 80bcaed in mainline for kernel/arch/amd64/src


Ignore:
Timestamp:
2007-02-03T13:22:24Z (18 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
Children:
f619ec11
Parents:
fa8e7d2
Message:

Merge as_t structure into one and leave the differring parts in as_genarch_t.

Indentation and formatting changes in header files.

Location:
kernel/arch/amd64/src
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • kernel/arch/amd64/src/mm/page.c

    rfa8e7d2 r80bcaed  
    112112
    113113                exc_register(14, "page_fault", (iroutine) page_fault);
    114                 write_cr3((uintptr_t) AS_KERNEL->page_table);
    115         }
    116         else {
    117                 write_cr3((uintptr_t) AS_KERNEL->page_table);
     114                write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
     115        }
     116        else {
     117                write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
    118118        }
    119119}
  • kernel/arch/amd64/src/pm.c

    rfa8e7d2 r80bcaed  
    202202                 * non boot-mapped pointer, initialize the CR3 register
    203203                 * ahead of page_init */
    204                 write_cr3((uintptr_t) AS_KERNEL->page_table);
     204                write_cr3((uintptr_t) AS_KERNEL->genarch.page_table);
    205205
    206206                tss_p = (struct tss *) malloc(sizeof(tss_t), FRAME_ATOMIC);
Note: See TracChangeset for help on using the changeset viewer.