GNTTAB_LIST_END

230

GNTTAB_ENTRY(head) = GNTTAB_LIST_END;

422

if (head == GNTTAB_LIST_END)

426

while (GNTTAB_ENTRY(ref) != GNTTAB_LIST_END) {

453

return (*private_head == GNTTAB_LIST_END);

461

if (g == GNTTAB_LIST_END)

622

GNTTAB_ENTRY(nr_init_grefs - 1) = GNTTAB_LIST_END;