1 #ifndef X86_EFI_RUNTIME_H
2 #define X86_EFI_RUNTIME_H
3 
4 #include <xen/domain_page.h>
5 #include <xen/mm.h>
6 #include <asm/atomic.h>
7 #include <asm/mc146818rtc.h>
8 
9 #ifndef COMPAT
10 mfn_t __read_mostly efi_l4_mfn = INVALID_MFN_INITIALIZER;
11 
efi_update_l4_pgtable(unsigned int l4idx,l4_pgentry_t l4e)12 void efi_update_l4_pgtable(unsigned int l4idx, l4_pgentry_t l4e)
13 {
14     if ( !mfn_eq(efi_l4_mfn, INVALID_MFN) )
15     {
16         l4_pgentry_t *efi_l4t = map_domain_page(efi_l4_mfn);
17 
18         l4e_write(efi_l4t + l4idx, l4e);
19         unmap_domain_page(efi_l4t);
20     }
21 }
22 #endif
23 
24 #endif /* X86_EFI_RUNTIME_H */
25