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

public void flushPipe()

Flush the processor pipeline in preparation for switching to kernel mode.