C++ (Cpp) nvram_llseek Examples

Example #1

File: char_generic_nvram_read_nvram_nvram_unlocked_ioctl_true-unreach-call.c Project: Heizmann/sv-benchmarks

void *whoop_wrapper_nvram_llseek(void* args)
{
    nvram_llseek(whoop_file_3, __VERIFIER_nondet_long(), whoop_int);
    return NULL;
}

Example #2

File: char_generic_nvram_nvram_llseek_write_nvram_true-unreach-call.c Project: smackers/pthreadDriverBenchmarks

void *whoop_wrapper_nvram_llseek(void* args)
{
	nvram_llseek(whoop_file_3, &whoop_loff_t, whoop_int);
}