/* Enable Write Protect on pages marked as read-only.  */
VOID EnableReadOnlyPageWriteProtect(VOID)
/* Enable Write Protect on pages marked as read-only.  */
VOID EnableReadOnlyPageWriteProtect(VOID)
{
  AsmWriteCr0 (AsmReadCr0 () | BIT16);
}