Searched refs:seL4_Uint16 (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/
H A Dsimple_types.h14 typedef unsigned short seL4_Uint16; typedef
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dsimple_types.h14 typedef unsigned short seL4_Uint16; typedef
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dsimple_types.h13 typedef unsigned short seL4_Uint16; typedef
/seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/
H A Dsimple_types.h16 typedef unsigned short seL4_Uint16; typedef
/seL4-camkes-master/kernel/libsel4/arch_include/x86/sel4/arch/
H A Dbootinfo_types.h14 seL4_Uint16 version;
18 seL4_Uint16 totalMemory;
19 seL4_Uint16 oemSoftwareRev;
29 seL4_Uint16 modeAttr;
32 seL4_Uint16 winGranularity;
33 seL4_Uint16 winSize;
34 seL4_Uint16 winASeg;
35 seL4_Uint16 winBSeg;
37 seL4_Uint16 bytesPerScanLine;
41 seL4_Uint16 xRe
[all...]
/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dtypes.h34 typedef uint16_t seL4_Uint16; typedef
/seL4-camkes-master/kernel/include/arch/arm/arch/
H A Dtypes.h40 typedef uint16_t seL4_Uint16; typedef
/seL4-camkes-master/projects/camkes-tool/camkes/templates/
H A Dcomponent.debug.c228 err = seL4_TCB_SetBreakpoint(tcb_cap, (seL4_Uint16) bp_num, addr,
254 err = seL4_TCB_UnsetBreakpoint(tcb_cap, (seL4_Uint16) bp_num);

Completed in 115 milliseconds