/* ps3_repository_read_num_be - Number of physical BE processors in the system.  */
int ps3_repository_read_num_be(unsigned int *num_be)
/* ps3_repository_read_num_be - Number of physical BE processors in the system.  */
int ps3_repository_read_num_be(unsigned int *num_be)
{
	int result;
	u64 v1;
	result = read_node(PS3_LPAR_ID_PME,
		make_first_field("ben", 0),
		0,
		0,
		0,
		&v1, NULL);
	*num_be = v1;
	return result;
}