/* This function traces Bit Flags fields. If no format string is specified the Format must be NULL. */
VOID EFIAPI DumpLocalApicBitFlags(IN CONST CHAR16 *Format OPTIONAL, IN UINT8 *Ptr)
/* This function traces Bit Flags fields. If no format string is specified the Format must be NULL. */
VOID EFIAPI DumpLocalApicBitFlags(IN CONST CHAR16 *Format OPTIONAL, IN UINT8 *Ptr)
{
  if (Format != NULL) {
    Print (Format, *(UINT32 *)Ptr);
    return;
  }
  Print (L"0x%X\n", *(UINT32 *)Ptr);
  ParseAcpiBitFields (
    TRUE,
    2,
    NULL,
    Ptr,
    4,
    PARSER_PARAMS (LocalApicFlags)
    );
}