Home | History | Annotate | Download | only in fdt

Lines Matching refs:uint64_t

42 	uint64_t	start;
43 	uint64_t	end;
47 void	fdt_memory_get(uint64_t *, uint64_t *);
48 void	fdt_memory_add_range(uint64_t, uint64_t);
49 void	fdt_memory_remove_range(uint64_t, uint64_t);
50 void	fdt_memory_remove_reserved(uint64_t, uint64_t);