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

/seL4-refos-master/kernel/src/arch/riscv/machine/
H A Dcapdl.c171 void print_object_arch(cap_t cap) function
/seL4-refos-master/kernel/src/arch/arm/64/machine/
H A Dcapdl.c387 void print_object_arch(cap_t cap) function
/seL4-refos-master/kernel/src/arch/arm/32/machine/
H A Dcapdl.c333 void print_object_arch(cap_t cap) function
/seL4-refos-master/kernel/src/arch/x86/64/machine/
H A Dcapdl.c320 void print_object_arch(cap_t cap) function

Completed in 94 milliseconds