TlbInvalid.h

Go to the documentation of this file.

 
#ifndef INVALID_TLB_H_
#define INVALID_TLB_H_
 
VOID
InvalidTlb (
  UINTN  Address
  );
 
#endif // INVALID_TLB_H_