Yin Fengwei 68269a559f gpa2hva: add INVAVLID_HPA return value check ...

For return value of local_gpa2hpa, either INVALID_HPA or NULL
means the EPT walking failure. Current code only take care of
NULL return and leave INVALID_HPA as correct case.

In some cases (if guest page table is filled with invalid memory
address), it could crash ACRN from guest.

Add INVALID_HPA return check as well.
Also add @pre assumptions for some gpa2hpa usages.

Tracked-On: #4730
Signed-off-by: Yin Fengwei <fengwei.yin@intel.com>

2020-05-06 11:29:30 +08:00

..

event.c

hv: reset vcpu events in reset_vcpu

2020-02-23 16:27:57 +08:00

hv_main.c

hv: list: rename list_entry to container_of

2020-03-31 10:57:47 +08:00

hypercall.c

hv: dynamically configure CPU affinity through hypercall

2020-04-23 09:38:54 +08:00

ptdev.c

hv: rename BOOT_CPU_ID to BSP_CPU_ID

2020-02-25 09:08:14 +08:00

sched_bvt.c

hv: list: rename list_entry to container_of

2020-03-31 10:57:47 +08:00

sched_iorr.c

hv: sched_iorr: add some interfaces implementation of sched_iorr

2019-12-11 09:31:39 +08:00

sched_noop.c

hv: sched: decouple scheduler from schedule framework

2019-10-25 13:00:21 +08:00

schedule.c

hv: sched_bvt: add BVT scheduler

2020-02-25 09:11:32 +08:00

softirq.c

…

trusty_hypercall.c

hv: rename the ACRN_DBG_XXX

2020-01-14 10:21:23 +08:00

vm_load.c

gpa2hva: add INVAVLID_HPA return value check

2020-05-06 11:29:30 +08:00