1 /* SPDX-License-Identifier: GPL-2.0-only */
6 #include <libpayload.h>
10 struct coreinfo_module
{
13 int (*redraw
) (WINDOW
*);
17 extern void docpuid(uint32_t idx
, uint32_t *eax
, uint32_t *ebx
, uint32_t *ecx
, uint32_t *edx
);
19 void print_module_title(WINDOW
*win
, const char *title
);