Searched refs:GUEST_FILE (Results 1 – 2 of 2) sorted by relevance
74 GUEST_FILE, enumerator113 (const char *)(ucall).args[GUEST_FILE], \
92 WRITE_ONCE(uc->args[GUEST_FILE], (uint64_t)(file)); in ucall_assert()