Lines Matching refs:u64

116 u64 get_page_table_size(void);
200 void __asm_flush_dcache_range(u64 start, u64 end);
215 void __asm_invalidate_dcache_range(u64 start, u64 end);
221 void __asm_switch_ttbr(u64 new_ttbr);
236 void armv8_switch_to_el2(u64 args, u64 mach_nr, u64 fdt_addr,
237 			 u64 arg4, u64 entry_point, u64 es_flag);
251 void armv8_switch_to_el1(u64 args, u64 mach_nr, u64 fdt_addr,
252 			 u64 arg4, u64 entry_point, u64 es_flag);
253 void armv8_el2_to_aarch32(u64 args, u64 mach_nr, u64 fdt_addr,
254 			  u64 arg4, u64 entry_point);
263 void mmu_change_region_attr(phys_addr_t start, size_t size, u64 attrs);