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

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

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

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

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