* them out quickly if the traps are not nested
*/
if (is_nested) {
- /*
- * if a problem occured while copying a message from userspace because
- * of a wrong pointer supplied by userland, handle it the only way we
- * can handle it ...
- */
- if (((void*)frame->eip >= copy_msg_to_user &&
- (void*)frame->eip <= __copy_msg_to_user_end) ||
- ((void*)frame->eip >= copy_msg_from_user &&
- (void*)frame->eip <= __copy_msg_from_user_end)) {
- switch(frame->vector) {
- /* these error are expected */
- case PAGE_FAULT_VECTOR:
- case PROTECTION_VECTOR:
- frame->eip = (reg_t) __user_copy_msg_pointer_failure;
- return;
- default:
- minix_panic("Copy involving a user pointer "
- "failed unexpectedly!", NO_NUM);
- }
- }
+ /*
+ * if a problem occured while copying a message from userspace because
+ * of a wrong pointer supplied by userland, handle it the only way we
+ * can handle it ...
+ */
+ if (((void*)frame->eip >= (void*)copy_msg_to_user &&
+ (void*)frame->eip <= (void*)__copy_msg_to_user_end) ||
+ ((void*)frame->eip >= (void*)copy_msg_from_user &&
+ (void*)frame->eip <= (void*)__copy_msg_from_user_end)) {
+ switch(frame->vector) {
+ /* these error are expected */
+ case PAGE_FAULT_VECTOR:
+ case PROTECTION_VECTOR:
+ frame->eip = (reg_t) __user_copy_msg_pointer_failure;
+ return;
+ default:
+ minix_panic("Copy involving a user pointer "
+ "failed unexpectedly!", NO_NUM);
+ }
+ }
}
if(frame->vector == PAGE_FAULT_VECTOR) {