removed setCurrentASID

haskell/src/SEL4/Kernel/VSpace/ARM.lhs

@@ -833,8 +833,7 @@ When cleaning the cache by user virtual address on ARM11, the active address spa
 >                 capPDMappedASID = Just _,
 >                 capPDBasePtr = cur_pd }) | cur_pd == pd -> return False
 >         _ -> do
->             doMachineOp $ setCurrentPD $ addrFromPPtr pd
->             setCurrentASID asid
+>             armv_contextSwitch pd asid
 >             return True
 
 \subsection{Helper Functions}
@@ -966,11 +965,6 @@ round-robin.
 >             storeHWASID asid new_hw_asid
 >             return new_hw_asid
 
-> setCurrentASID :: ASID -> Kernel ()
-> setCurrentASID asid = do
->     hw_asid <- getHWASID asid
->     doMachineOp $ setHardwareASID hw_asid
-
 \subsection {ARM Cache and TLB consistency}
 
 > doFlush :: FlushType -> VPtr -> VPtr -> PAddr -> MachineMonad ()