Xiangyang Wu b76c92bf3e HV:treewide:Update cpu_id type as uint_16 ... There are extra type conversion in the HV since cpu_id type is uint32_t and the return value type of get_cpu_id is uint16_t. BTW, the name of cpu_id is not clear enough to express its usage. So the following updates are made in this patch: Update cpu_id type as unit_16 to reduce type casting; Update related temporary variables type; Update related print argument; Change the input parameter name of interrupt_init as cpu_id to keep align with function implement; Rename cpu_id as pcpu_id as needed. Signed-off-by: Xiangyang Wu <xiangyang.wu@intel.com> Acked-by: Eddie Dong <eddie.dong@intel.com>		2018-07-04 16:39:26 +08:00
..
assert.h	license: Replace license text with SPDX tag	2018-06-01 10:43:06 +08:00
console.h	hv: prepare for Sx(S3/S5) support in ACRN.	2018-06-29 00:50:01 +08:00
dump.h	HV:treewide:Update cpu_id type as uint_16	2018-07-04 16:39:26 +08:00
logmsg.h	HV:treewide:Update cpu_id type as uint_16	2018-07-04 16:39:26 +08:00
printf.h	license: Replace license text with SPDX tag	2018-06-01 10:43:06 +08:00
sbuf.h	HV:debug:fix "signed/unsigned conversion without cast"	2018-07-04 12:18:38 +08:00
serial.h	license: Replace license text with SPDX tag	2018-06-01 10:43:06 +08:00
shell.h	license: Replace license text with SPDX tag	2018-06-01 10:43:06 +08:00
trace.h	HV: Make all trace event prefix consist with TRACE	2018-07-02 10:46:41 +08:00
vuart.h	initial import	2018-05-11 14:44:28 +08:00