/* Returns the address space associated with the fault. Returns 0 for kernel space and 1 for user space.  */
static int user_space_fault(unsigned long trans_exc_code)
/* Returns the address space associated with the fault. Returns 0 for kernel space and 1 for user space.  */
static int user_space_fault(unsigned long trans_exc_code)
{
	trans_exc_code &= 3;
	if (trans_exc_code == 2)
		return current->thread.mm_segment.ar4;
	if (user_mode == HOME_SPACE_MODE)
		return trans_exc_code == 3;
	return trans_exc_code != 3;
}