Searched refs:l4idx (Results 1 – 3 of 3) sorted by relevance
7 void efi_update_l4_pgtable(unsigned int l4idx, l4_pgentry_t l4e) in efi_update_l4_pgtable() argument10 l4e_write(efi_l4_pgtable + l4idx, l4e); in efi_update_l4_pgtable()
53 void efi_update_l4_pgtable(unsigned int l4idx, l4_pgentry_t l4e) { } in efi_update_l4_pgtable() argument
301 void efi_update_l4_pgtable(unsigned int l4idx, l4_pgentry_t);
Completed in 7 milliseconds