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

/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A Dsimple_types.h15 typedef unsigned int seL4_Uint32; typedef
H A Dsyscalls.h824 LIBSEL4_INLINE_FUNC seL4_Uint32 seL4_DebugCapIdentify(seL4_CPtr cap)
834 return (seL4_Uint32)cap;
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsimple_types.h15 typedef unsigned int seL4_Uint32; typedef
H A Dtypes.h11 typedef seL4_Uint32 seL4_Word;
H A Dsyscalls.h855 LIBSEL4_INLINE_FUNC seL4_Uint32 seL4_DebugCapIdentify(seL4_CPtr cap)
862 return (seL4_Uint32)cap;
888 LIBSEL4_INLINE_FUNC void seL4_X86DangerousWRMSR(seL4_Uint32 msr, seL4_Uint64 value)
890 seL4_Uint32 value_low = value & 0xffffffff;
891 seL4_Uint32 value_high = value >> 32;
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsimple_types.h14 typedef unsigned int seL4_Uint32; typedef
H A Dsyscalls.h621 LIBSEL4_INLINE_FUNC void seL4_X86DangerousWRMSR(seL4_Uint32 msr, seL4_Uint64 value)
625 LIBSEL4_INLINE_FUNC seL4_Uint64 seL4_X86DangerousRDMSR(seL4_Uint32 msr)
647 LIBSEL4_INLINE_FUNC seL4_Uint32 seL4_DebugCapIdentify(seL4_CPtr cap)
656 return (seL4_Uint32)cap;
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dtypes.h14 typedef seL4_Uint32 seL4_Word;
/seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/
H A Dsimple_types.h17 typedef unsigned int seL4_Uint32; typedef
H A Dsyscalls.h620 LIBSEL4_INLINE_FUNC seL4_Uint32 seL4_DebugCapIdentify(seL4_CPtr cap)
629 return (seL4_Uint32)cap;
/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h15 seL4_Uint32 oemStringPtr;
16 seL4_Uint32 capabilities;
17 seL4_Uint32 modeListPtr;
20 seL4_Uint32 oemVendorNamePtr;
21 seL4_Uint32 oemProductNamePtr;
22 seL4_Uint32 oemProductRevPtr;
36 seL4_Uint32 winFuncPtr;
67 seL4_Uint32 physBasePtr;
83 seL4_Uint32 maxPixelClock;
108 seL4_Uint32 vbeMod
[all...]
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dtypes.h11 typedef seL4_Uint32 seL4_Word;
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dtypes.h11 typedef seL4_Uint32 seL4_Word;
/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dtypes.h35 typedef uint32_t seL4_Uint32; typedef
/seL4-camkes-master/kernel/include/arch/riscv/arch/
H A Dtypes.h30 typedef uint32_t seL4_Uint32; typedef
/seL4-camkes-master/kernel/include/arch/arm/arch/
H A Dtypes.h39 typedef uint32_t seL4_Uint32; typedef
/seL4-camkes-master/kernel/libsel4/include/sel4/
H A Dsyscalls.h101 LIBSEL4_INLINE_FUNC seL4_Uint32

Completed in 143 milliseconds