On 4/19/21 10:46 AM, Brijesh Singh wrote: > - guest wants to make gpa 0x1000 as a shared page. To support this, we > need to psmash the large RMP entry into 512 4K entries. The psmash > instruction breaks the large RMP entry into 512 4K entries without > affecting the previous validation. Now the we need to force the host to > use the 4K page level instead of the 2MB. > > To my understanding, Linux kernel fault handler does not build the page > tables on demand for the kernel addresses. All kernel addresses are > pre-mapped on the boot. Currently, I am proactively spitting the physmap > to avoid running into situation where x86 page level is greater than the > RMP page level. In other words, if the host maps guest memory with 2M mappings, the guest can induce page faults in the host. The only way the host can avoid this is to map everything with 4k mappings. If the host does not avoid this, it could end up in the situation where it gets page faults on access to kernel data structures. Imagine if a kernel stack page ended up in the same 2M mapping as a guest page. I *think* the next write to the kernel stack would end up double-faulting.
