nachos.security
Interface Privilege.ProcessorPrivilege

Enclosing class:
Privilege

public static interface Privilege.ProcessorPrivilege

An interface that provides access to some private Processor methods.


Method Summary
 void flushPipe()
          Flush the processor pipeline in preparation for switching to kernel mode.
 

Method Detail

flushPipe

void flushPipe()
Flush the processor pipeline in preparation for switching to kernel mode.