X-Git-Url: http://git.buserror.net/cgi-bin/gitweb.cgi?p=polintos%2Fscott%2Fpriv.git;a=blobdiff_plain;f=kernel%2Fmem%2Faddrspace.cc;fp=kernel%2Fmem%2Faddrspace.cc;h=78cbe5e6b573aa5c2429fcbd70ee5392cf478d9b;hp=eb92a6a98590adf4aeb28392b304eaf5ade71915;hb=1ac390fe1e18444008857b056c947710be9621a8;hpb=6e64b28821757af60447c790ae52a91831a9d4f0

diff --git a/kernel/mem/addrspace.cc b/kernel/mem/addrspace.cc
index eb92a6a..78cbe5e 100644
--- a/kernel/mem/addrspace.cc
+++ b/kernel/mem/addrspace.cc
@@ -73,7 +73,8 @@ namespace Mem {
 			mf.access_IDLNS_Read = 1;
 			mf.access_IDLNS_Exec = 1;
 			
-			as->map(physmem, region, &vstart, mf, AddrSpace::map_protected);
+			as->map(physmem, region, &vstart, mf,
+			        PTEFlags::protectedmap | PTEFlags::addressonly);
 			
 			region.start = kvirt_to_phys(&rwshared_start);
 			region.end = kvirt_to_phys(&rwshared_page_end);
@@ -82,13 +83,13 @@ namespace Mem {
 			mf.access_IDLNS_Write = 1;
 			mf.CopyOnWrite = 1;
 			
-			as->map(physmem, region, &vstart, mf, AddrSpace::map_protected);
+			as->map(physmem, region, &vstart, mf,
+			        PTEFlags::protectedmap | PTEFlags::addressonly);
 			
 			// Leave the stack no-exec by default.
 			region.start = vstart = Arch::stack_bottom;
 			region.end = Arch::stack_top;
 			mf.CopyOnWrite = 0;
-			printf("vstart %llx\n", vstart);
 			as->map(anonmem, region, &vstart, mf);
 			
 			*obj = static_cast<IAddrSpace>(*as);
@@ -140,7 +141,7 @@ namespace Mem {
 		*addrspace = NULL;
 	}
 	
-	bool AddrSpace::handle_fault(ulong vaddr, bool write, bool exec, bool user)
+	int AddrSpace::handle_fault(ulong vaddr, bool write, bool exec, bool user)
 	{
 		if (lock.held_by_curthread())
 			return false;
@@ -165,12 +166,10 @@ namespace Mem {
 		}
 
 		catch (BadPageFault &bpf) {
-			// FIXME: retain info about nature of bpf
-			// to throw to user?
-			return false;
+			return bpf.cause;
 		}
 
-		return true;
+		return -1;
 	}
 	
 	bool AddrSpace::check_overlap(Region region, VirtualArea *&va)
@@ -409,10 +408,10 @@ namespace Mem {
 			VirtualArea *va = aspace->varea_tree.find(vaddr);
 			
 			if (!va)
-				throw BadPageFault();
+				throw BadPageFault(MemoryFault_ns::Cause::Unmapped);
 
 			if ((va->flags & reqflags) != reqflags)
-				throw BadPageFault();
+				throw BadPageFault(MemoryFault_ns::Cause::Protected);
 			
 			if (aspace->map(va, vaddr, reqflags))
 				break;
@@ -561,7 +560,7 @@ namespace Mem {
 	}
 	
 	void AddrSpace::map(IMappable ma, Region region, u64 *vstart,
-	                    MapFlags mflags, int map_type)
+	                    MapFlags mflags, PTEFlags set, PTEFlags clear)
 	{
 		// FIXME: check alignment for VIPT caches
 		// FIXME: Implement the "Replace" map flag
@@ -626,12 +625,13 @@ namespace Mem {
 		newva->region() = vregion;
 
 		newva->flags.Valid = 1;
-		newva->flags.User = map_type != map_kernel;
+		newva->flags.User = 1;
 		newva->flags.Readable = mflags.access_IDLNS_Read;
 		newva->flags.Writeable = mflags.access_IDLNS_Write;
 		newva->flags.Executable = mflags.access_IDLNS_Exec;
 		newva->flags.FaultOnWrite = mflags.CopyOnWrite;
-		newva->flags.Protected = map_type != map_user;
+		newva->flags.raw |= set;
+		newva->flags.raw &= ~clear;
 		newva->ma = cma;
 		newva->offset = region.start - vregion.start;
 
@@ -793,9 +793,6 @@ namespace Mem {
 			oldpage->release();
 	}
 	
-	// FIXME: Add a special PTE flag to indicate that PhysMem mappings
-	// don't mess with page refcounts.
-	
 	class PhysMem : public Mappable {
 	public:
 		void get_size(u64 *size)
@@ -819,6 +816,7 @@ namespace Mem {
 			flags->Writeable = 1;
 			flags->Executable = 1;
 			flags->User = 1;
+			flags->AddressOnly = 1;
 		}
 	};