169 	unsigned int dev_index, unsigned int region_index,
172 	unsigned int dev_index,	unsigned int region_index, u64 *region_size);
174 	unsigned int dev_index, unsigned int region_index, u64 *region_start);
179 	unsigned int dev_index, unsigned int region_index,
192 int ps3_repository_read_highmem_base(unsigned int region_index,
194 int ps3_repository_read_highmem_size(unsigned int region_index,
196 int ps3_repository_read_highmem_info(unsigned int region_index,
201 int ps3_repository_write_highmem_base(unsigned int region_index,
203 int ps3_repository_write_highmem_size(unsigned int region_index,
205 int ps3_repository_write_highmem_info(unsigned int region_index,
207 int ps3_repository_delete_highmem_info(unsigned int region_index);
211 static inline int ps3_repository_write_highmem_base(unsigned int region_index,  in ps3_repository_write_highmem_base()  argument
213 static inline int ps3_repository_write_highmem_size(unsigned int region_index,  in ps3_repository_write_highmem_size()  argument
215 static inline int ps3_repository_write_highmem_info(unsigned int region_index,  in ps3_repository_write_highmem_info()  argument
217 static inline int ps3_repository_delete_highmem_info(unsigned int region_index)  in ps3_repository_delete_highmem_info()  argument