[SCM] GNU Mach branch, master, updated. 690d2c6a6fd7512dce0761f21a1d18fb49ca1fcb

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GNU Mach".

The branch, master has been updated
       via  690d2c6a6fd7512dce0761f21a1d18fb49ca1fcb (commit)
      from  5a27310a308a7ea56b2ce9020c775c0f64c41b79 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 690d2c6a6fd7512dce0761f21a1d18fb49ca1fcb
Author: Samuel Thibault <address@hidden>
Date:   Thu Apr 8 00:11:26 2010 +0200

    Extend machine addresses to 64bit for PAE
    
        * i386/i386/pcb.c (switch_ktss): Use uint64_t for descriptor
        type instead of unsigned long long.
        * i386/i386/seg.h (fill_descriptor): Use uint64_t for descriptor
        type instead of unsigned long long. Cast result of kv_to_ma()
        into vm_offset_t before printing.
        * i386/i386/xen.h (hyp_mmu_update_pte): Use pt_entry_t type
        instead of unsigned long long, make pte parameter a pt_entry_t
        too.
            (hyp_mmu_update_pte): Compute pte address just using pt_entry_t
            integers.
        (hyp_high): New macro to fix 32bit right shifting.
            (hyp_do_update_descriptor): Use pt_entry_t type for machine
            address instead of unsigned long. Split it in 32bit parts. Use 
uint64_t
            for descriptor type instead of unsigned long long.
        (update_va_mapping): Use pt_entry_t type instead of unsigned
        long long. Use hyp_high macro.
        (hyp_invlpg): Use uint64_t for time type instead of unsigned
        long long.
        * i386/intel/pmap.c (pmap_bootstrap): Use ptetokv instead of
        pte_to_pa + phystokv. Cast machine addresses into vm_offset_t
        before printing.
            (pmap_set_page_readwrite): Likewise.
        (pmap_set_page_readonly): Likewise
        (pmap_set_page_readonly_init): Likewise
        (pmap_clear_bootstrap_pagetable): Likewise
        (pmap_destroy): Likewise
        (pmap_map_mfn): Use pt_entry_t type for machine addresses. Cast
        machine addresses into vm_offset_t before printing.
        * i386/intel/pmap.h [PAE] (INTEL_PTE_PFN): Set macro to
        0xfffffffffffff000ULL.
        * include/mach/xen.h [PAE] (pa_to_ma, ma_to_pa): Use pt_entry_t
        type for machine addresses.
        [!PAE] (pa_to_ma): Remove cast to vm_offset_t.
        (mfn_to_kv): Use mfn_to_pfn + ptoa instead of ptoa + ma_to_pa.
            * xen/xen.c (hyp_invalidate_pte): Cast machine addresses into
            vm_offset_t before printing.

-----------------------------------------------------------------------

Summary of changes:
 i386/i386/pcb.c    |    2 +-
 i386/i386/seg.h    |    4 ++--
 i386/i386/xen.h    |   24 +++++++++++++++---------
 i386/intel/pmap.c  |   39 ++++++++++++++++++++-------------------
 i386/intel/pmap.h  |    4 ++++
 include/mach/xen.h |    9 +++++++--
 xen/xen.c          |    2 +-
 7 files changed, 50 insertions(+), 34 deletions(-)


hooks/post-receive
-- 
GNU Mach