SVA-OS provides operations that the

SVA-OS provides operations that the kernel uses to insert and remove page table entries at each level of a multi-level page table and ensures that they do not violate internal consistency of the page tables or the in- tegrity of SVA code and data. Virtual Ghost augments these operations to also enforce the MMU mapping constraints described in Section 4.3.2.

ผลลัพธ์ (ไทย) 1:

SVA OS เคอร์เนลใช้เพื่อแทรก และลบรายการตารางเพจในแต่ละระดับของตารางหน้าหลายระดับ และให้แน่ใจว่า พวกเขาละเมิดความสอดคล้องภายในตารางหน้าหรือที่ใน-tegrity SVA รหัสและข้อมูลทาง เสมือนผี augments ดำเนินการเหล่านี้ยัง บังคับใช้ข้อจำกัดการแม็ป MMU ที่อธิบายไว้ในส่วน 4.3.2

ผลลัพธ์ (ไทย) 2:

SVA-OS ให้ดำเนินการที่เคอร์เนลที่ใช้ในการแทรกและลบรายการตารางเพจในแต่ละระดับของตารางเพจหลายระดับและสร้างความมั่นใจว่าพวกเขาไม่ละเมิดความสอดคล้องภายในของตารางหน้าหรือ Tegrity ข่าวสารของรหัส SVA และข้อมูล ผีเสมือน augments ดำเนินงานเหล่านี้ยังบังคับใช้ MMU ข้อ จำกัด การทำแผนที่อธิบายไว้ในมาตรา 4.3.2

ผลลัพธ์ (ไทย) 3:

sva-os มีการดำเนินการที่เคอร์เนลใช้แทรกและลบรายการตารางเพจในระดับของตารางแต่ละหน้าหลายระดับและเพื่อให้แน่ใจว่า พวกเขาไม่ละเมิดความสอดคล้องภายในของหน้าโต๊ะหรือใน tegrity รหัส SVA และข้อมูล ผี augments เสมือนการดำเนินงานเหล่านี้ยังบังคับใช้ข้อจำกัดรับทำแผนที่อธิบายไว้ในมาตรา 4.3.2 .