PE_boot_arg_uint64_eq Declarationboolean_t PE_boot_arg_uint64_eq(const char *arg_string, uint64_t value);