1 /** @file 2 * 3 * Copyright (c) 2011 - 2013, ARM Limited. All rights reserved. 4 * 5 * This program and the accompanying materials 6 * are licensed and made available under the terms and conditions of the BSD License 7 * which accompanies this distribution. The full text of the license may be found at 8 * http://opensource.org/licenses/bsd-license.php 9 * 10 * THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS, 11 * WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED. 12 * 13 **/ 14 15 #include <PiDxe.h> 16 #include <Library/UefiLib.h> 17 #include <Library/ArmLib.h> 18 #include <Chipset/AArch64.h> 19 #include <Library/CacheMaintenanceLib.h> 20 #include <Library/EblCmdLib.h> 21 #include <Library/BaseLib.h> 22 #include <Library/DebugLib.h> 23 24 EFI_STATUS 25 EblDumpMmu ( 26 IN UINTN Argc, 27 IN CHAR8 **Argv 28 ) 29 { 30 AsciiPrint ("\nNot supported on this platform.\n"); 31 32 return EFI_SUCCESS; 33 } 34
