Searched defs:p_reg (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dboot.h26 p_region_t p_reg; /* region where the userland image lies in */ member in struct:ui_info
/seL4-l4v-10.1.1/seL4/include/
H A Dmachine.h33 paddr_to_pptr_reg(p_region_t p_reg) argument
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/mips/model/
H A Dmips.sig1029 val p_reg: string -> (BitsN.nbit option) value
H A Dmips.sml12385 fun p_reg s = function
[all...]

Completed in 65 milliseconds