Lines Matching refs:l4e
50 l4_pgentry_t l4e, *l4t; in do_page_walk() local
59 l4e = l4t[l4_table_offset(addr)]; in do_page_walk()
61 if ( !(l4e_get_flags(l4e) & _PAGE_PRESENT) ) in do_page_walk()
64 l3t = map_l3t_from_l4e(l4e); in do_page_walk()
897 l4_pgentry_t l4e = idle_pg_table[i]; in subarch_init_memory() local
899 if ( l4e_get_flags(l4e) & _PAGE_PRESENT ) in subarch_init_memory()
901 l4e_add_flags(l4e, _PAGE_NX_BIT); in subarch_init_memory()
902 idle_pg_table[i] = l4e; in subarch_init_memory()
1177 l4_pgentry_t l4e; in handle_memadd_fault() local
1196 l4e = pl4e[0]; in handle_memadd_fault()
1198 if (!(l4e_get_flags(l4e) & _PAGE_PRESENT)) in handle_memadd_fault()
1201 mfn = l4e_get_pfn(l4e); in handle_memadd_fault()