xen/arch/x86/efi/runtime.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

#include <xen/domain_page.h>
#include <xen/mm.h>
#include <asm/atomic.h>
#include <asm/mc146818rtc.h>

#ifndef COMPAT
mfn_t __read_mostly efi_l4_mfn = INVALID_MFN_INITIALIZER;

void efi_update_l4_pgtable(unsigned int l4idx, l4_pgentry_t l4e)
{
    if ( !mfn_eq(efi_l4_mfn, INVALID_MFN) )
    {
        l4_pgentry_t *efi_l4t = map_domain_page(efi_l4_mfn);

        l4e_write(efi_l4t + l4idx, l4e);
        unmap_domain_page(efi_l4t);
    }
}
#endif