Example #1
0
static int __init ptdump_init(void)
{
	if (!efi_enabled(EFI_RUNTIME_SERVICES))
		return 0;

	return ptdump_debugfs_register(&efi_ptdump_info, "efi_page_tables");
}
Example #2
0
static int __init ptdump_init(void)
{
	return ptdump_debugfs_register(&efi_ptdump_info, "efi_page_tables");
}