Symbol: efi_getnexthighmonotoniccount