efi_setup_5level_paging
efi_status_t efi_setup_5level_paging(void)
static inline efi_status_t efi_setup_5level_paging(void) { return EFI_SUCCESS; }