efi_setup_5level_paging
status = efi_setup_5level_paging();
efi_status_t efi_setup_5level_paging(void);