Type:	int
	64-bit integer
Name:	number
	the number of the physical CPU within the host

Field is read-only

• int get_number (session session_id, host_cpu self)

  Get the number field of the given host_cpu.