Lines Matching refs:u64
17 int firmware_map_add_early(u64 start, u64 end, const char *type);
18 int firmware_map_add_hotplug(u64 start, u64 end, const char *type);
19 int firmware_map_remove(u64 start, u64 end, const char *type);
23 static inline int firmware_map_add_early(u64 start, u64 end, const char *type)
28 static inline int firmware_map_add_hotplug(u64 start, u64 end, const char *type)
33 static inline int firmware_map_remove(u64 start, u64 end, const char *type)