/* ps3_repository_read_be_id - Read the physical BE processor id. @node_id: The BE processor node id. @be_id: The BE processor id.  */
int ps3_repository_read_be_id(u64 node_id, u64 *be_id)
/* ps3_repository_read_be_id - Read the physical BE processor id. @node_id: The BE processor node id. @be_id: The BE processor id.  */
int ps3_repository_read_be_id(u64 node_id, u64 *be_id)
{
	return read_node(PS3_LPAR_ID_PME,
		make_first_field("be", 0),
		node_id,
		0,
		0,
		be_id, NULL);
}