static int __init ptdump_init(void) { if (!efi_enabled(EFI_RUNTIME_SERVICES)) return 0; return ptdump_debugfs_register(&efi_ptdump_info, "efi_page_tables"); }
static int __init ptdump_init(void) { return ptdump_debugfs_register(&efi_ptdump_info, "efi_page_tables"); }