DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, 1);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, 1);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, 1);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT,
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT,
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, 1);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, 1);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, 1);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, 1);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
tmp = REG_SET_FIELD(tmp, VM_CONTEXT1_CNTL, DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, 1);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT,
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT,
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, 1);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT,
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT,
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT,
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT,
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT,
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT,
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT,
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT,
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT, value);
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT,
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT,
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT |
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT |
DUMMY_PAGE_PROTECTION_FAULT_ENABLE_DEFAULT |