157 	unsigned int dev_index, unsigned int region_index,
160 	unsigned int dev_index,	unsigned int region_index, u64 *region_size);
162 	unsigned int dev_index, unsigned int region_index, u64 *region_start);
167 	unsigned int dev_index, unsigned int region_index,
180 int ps3_repository_read_highmem_base(unsigned int region_index,
182 int ps3_repository_read_highmem_size(unsigned int region_index,
184 int ps3_repository_read_highmem_info(unsigned int region_index,
189 int ps3_repository_write_highmem_base(unsigned int region_index,
191 int ps3_repository_write_highmem_size(unsigned int region_index,
193 int ps3_repository_write_highmem_info(unsigned int region_index,
195 int ps3_repository_delete_highmem_info(unsigned int region_index);
199 static inline int ps3_repository_write_highmem_base(unsigned int region_index,  in ps3_repository_write_highmem_base()  argument
201 static inline int ps3_repository_write_highmem_size(unsigned int region_index,  in ps3_repository_write_highmem_size()  argument
203 static inline int ps3_repository_write_highmem_info(unsigned int region_index,  in ps3_repository_write_highmem_info()  argument
205 static inline int ps3_repository_delete_highmem_info(unsigned int region_index)  in ps3_repository_delete_highmem_info()  argument