GNTTAB_ENTRY
GNTTAB_ENTRY(i) = i + 1;
GNTTAB_ENTRY(i) = gnttab_free_head;
head = GNTTAB_ENTRY(head);
gnttab_free_head = GNTTAB_ENTRY(head);
GNTTAB_ENTRY(head) = GNTTAB_LIST_END;
GNTTAB_ENTRY(ref) = gnttab_free_head;
while (GNTTAB_ENTRY(ref) != GNTTAB_LIST_END) {
ref = GNTTAB_ENTRY(ref);
GNTTAB_ENTRY(ref) = gnttab_free_head;
*private_head = GNTTAB_ENTRY(g);
GNTTAB_ENTRY(release) = *private_head;
GNTTAB_ENTRY(i) = i + 1;
GNTTAB_ENTRY(nr_init_grefs - 1) = GNTTAB_LIST_END;