cap_zombie_cap_get_capZombieBits (reference) in projects: seL4-master

Searched refs:cap_zombie_cap_get_capZombieBits (Results 1 – 1 of 1) sorted by relevance

/seL4-master/include/object/
A D	structures.h	`125 static inline word_t CONST cap_zombie_cap_get_capZombieBits(cap_t cap) in cap_zombie_cap_get_capZombieBits() function 136 word_t radix = cap_zombie_cap_get_capZombieBits(cap); in cap_zombie_cap_get_capZombieNumber() 142 word_t radix = cap_zombie_cap_get_capZombieBits(cap); in cap_zombie_cap_get_capZombiePtr() 148 word_t radix = cap_zombie_cap_get_capZombieBits(cap); in cap_zombie_cap_set_capZombieNumber()`

Completed in 3 milliseconds