1 #include <asm/atomic.h>
2 #include <asm/mc146818rtc.h>
3 
4 #ifndef COMPAT
5 l4_pgentry_t *__read_mostly efi_l4_pgtable;
6 
efi_update_l4_pgtable(unsigned int l4idx,l4_pgentry_t l4e)7 void efi_update_l4_pgtable(unsigned int l4idx, l4_pgentry_t l4e)
8 {
9     if ( efi_l4_pgtable )
10         l4e_write(efi_l4_pgtable + l4idx, l4e);
11 }
12 #endif
13