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

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dvault.c380 boolean fixed = FALSE; local
418 fixed = TRUE;
422 if(movedgold || fixed) {
428 if(fixed)
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dvault.c380 boolean fixed = FALSE; local
418 fixed = TRUE;
422 if(movedgold || fixed) {
428 if(fixed)
/seL4-refos-master/kernel/manual/parts/
H A Dobjects.tex271 Each \obj{CNode} has a fixed number of slots,
349 order to create new objects, and all objects consume a fixed amount of memory once
355 hardware\footnote{The treatment of virtual ASIDs imposes a fixed number
458 For all other object types, the size is fixed, and the \texttt{size\_bits}
H A Dvspace.tex247 For internal kernel book-keeping purposes, there is a fixed maximum
H A Dio.tex212 fixed number of context banks, up to a maximum of 128. Context banks can
296 it's own registers for holding context specific information. An SMMU has a fixed
H A Dipc.tex24 using physical CPU registers, while the rest are backed by a fixed region of
H A Dthreads.tex602 The kernel switches between domains according to a fixed, time-triggered
604 The fixed schedule is compiled into the kernel via the constant

Completed in 97 milliseconds