Searched refs:temp_cap (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/kernel/
H A Dcapabilities.c585 struct capability temp_cap; local
586 memset(&temp_cap, 0, sizeof(struct capability));
587 temp_cap.type = type;
589 temp_cap.rights = CAPRIGHTS_ALLRIGHTS;
608 temp_cap.u.frame.base = genpaddr + dest_i * objsize;
609 temp_cap.u.frame.bytes = objsize;
610 assert((get_size(&temp_cap) & BASE_PAGE_MASK) == 0);
612 err = set_cap(&dest_caps[dest_i].cap, &temp_cap);
622 temp_cap.u.physaddr.base = genpaddr + dest_i * objsize;
623 temp_cap
[all...]

Completed in 35 milliseconds