Searched refs:VISIBLE (Results 1 - 25 of 45) sorted by relevance

12

/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/kernel/
H A Dtraps.h26 VISIBLE NORETURN;
29 VISIBLE NORETURN;
32 VISIBLE;
35 VISIBLE NORETURN;
38 VISIBLE NORETURN;
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/model/
H A Dstatedata.h23 extern asid_pool_t *armKSASIDTable[BIT(asidHighBits)] VISIBLE;
27 extern pgde_t armKSGlobalUserPGD[BIT(PGD_INDEX_BITS)] VISIBLE;
28 extern pgde_t armKSGlobalKernelPGD[BIT(PGD_INDEX_BITS)] VISIBLE;
30 extern pude_t armKSGlobalKernelPUD[BIT(PUD_INDEX_BITS)] VISIBLE;
31 extern pde_t armKSGlobalKernelPDs[BIT(PUD_INDEX_BITS)][BIT(PD_INDEX_BITS)] VISIBLE;
32 extern pte_t armKSGlobalKernelPT[BIT(PT_INDEX_BITS)] VISIBLE;
38 extern asid_t armKSHWASIDTable[BIT(hwASIDBits)] VISIBLE;
39 extern hw_asid_t armKSNextASID VISIBLE;
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/kernel/
H A Dtraps.h50 void VISIBLE NORETURN restore_user_context(void);
53 VISIBLE SECTION(".vectors.text");
56 VISIBLE SECTION(".vectors.text");
59 VISIBLE SECTION(".vectors.text");
62 VISIBLE SECTION(".vectors.text");
65 VISIBLE SECTION(".vectors.text");
69 VISIBLE SECTION(".vectors.text");
74 VISIBLE SECTION(".vectors.text");
/seL4-l4v-10.1.1/seL4/src/kernel/
H A Dstack.c14 VISIBLE ALIGN(KERNEL_STACK_ALIGNMENT)
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/kernel/
H A Dtraps.h34 VISIBLE NORETURN;
37 VISIBLE NORETURN;
40 VISIBLE NORETURN;
43 VISIBLE NORETURN;
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/model/
H A Dstatedata.h21 extern word_t armKSGlobalsFrame[BIT(ARMSmallPageBits) / sizeof(word_t)] VISIBLE;
23 extern asid_pool_t *armKSASIDTable[BIT(asidHighBits)] VISIBLE;
24 extern asid_t armKSHWASIDTable[BIT(hwASIDBits)] VISIBLE;
25 extern hw_asid_t armKSNextASID VISIBLE;
28 extern pde_t armKSGlobalPD[BIT(PD_INDEX_BITS)] VISIBLE;
29 extern pte_t armKSGlobalPT[BIT(PT_INDEX_BITS)] VISIBLE;
32 extern pte_t armKSGlobalLogPT[BIT(PT_INDEX_BITS)] VISIBLE;
36 extern pdeS1_t armHSGlobalPGD[BIT(PGD_INDEX_BITS)] VISIBLE;
37 extern pdeS1_t armHSGlobalPD[BIT(PT_INDEX_BITS)] VISIBLE;
38 extern pteS1_t armHSGlobalPT[BIT(PT_INDEX_BITS)] VISIBLE;
[all...]
/seL4-l4v-10.1.1/seL4/src/arch/riscv/
H A Didle.c29 void VISIBLE halt(void)
H A Dc_traps.c32 void VISIBLE NORETURN restore_user_context(void)
98 void VISIBLE NORETURN
111 void VISIBLE NORETURN
138 void VISIBLE NORETURN
/seL4-l4v-10.1.1/seL4/src/arch/x86/
H A Didle.c24 void VISIBLE halt(void)
/seL4-l4v-10.1.1/seL4/include/machine/
H A Dio.h37 word_t kprintf(const char *format, ...) VISIBLE FORMAT(printf, 1, 2);
38 word_t puts(const char *s) VISIBLE;
39 word_t print_unsigned_long(unsigned long x, word_t ui_base) VISIBLE;
H A Dprofiler.h38 void profiler_record_sample(word_t pc) VISIBLE;
H A Dregisterset.h25 extern const register_t fault_messages[][MAX_MSG_SIZE] VISIBLE;
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/machine/
H A Ddebug.h36 void debug_init(void) VISIBLE;
40 void software_breakpoint(uint32_t va, user_context_t *context) VISIBLE;
41 void breakpoint_multiplexer(uint32_t va, user_context_t *context) VISIBLE;
43 int set_breakpoint(uint32_t va, break_handler_t handler) VISIBLE;
44 void clear_breakpoint(uint32_t va) VISIBLE;
59 void set_catch_handler(catch_handler_t handler) VISIBLE;
60 void catch_vector(vector_t vector) VISIBLE;
61 void uncatch_vector(vector_t vector) VISIBLE;
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/model/
H A Dstatedata.h27 extern user_breakpoint_state_t armKSNullBreakpointState VISIBLE;
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/
H A Didle.c31 void NORETURN NO_INLINE VISIBLE halt(void)
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/
H A Didle.c25 void NORETURN NO_INLINE VISIBLE halt(void)
H A Dc_traps.c25 void VISIBLE NORETURN restore_user_context(void)
/seL4-l4v-10.1.1/seL4/src/arch/arm/
H A Dc_traps.c25 void VISIBLE NORETURN
58 void VISIBLE NORETURN
85 void VISIBLE NORETURN
91 void VISIBLE NORETURN
97 void VISIBLE NORETURN
124 void VISIBLE
160 VISIBLE NORETURN void
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/64/mode/model/
H A Dstatedata.h21 extern pml4e_t x64KSKernelPML4[BIT(PML4_INDEX_BITS)] VISIBLE;
57 extern word_t x64KSIRQStack[CONFIG_MAX_NUM_NODES][IRQ_STACK_SIZE + 2] ALIGN(64) VISIBLE SKIM_BSS;
H A Dsmp.h46 extern char nodeSkimScratch[CONFIG_MAX_NUM_NODES][sizeof(nodeInfo_t)] ALIGN(L1_CACHE_LINE_SIZE) VISIBLE SKIM_BSS;
/seL4-l4v-10.1.1/seL4/src/arch/x86/32/model/
H A Dstatedata.c15 UP_STATE_DEFINE(paddr_t, ia32KSCurrentPD VISIBLE);
/seL4-l4v-10.1.1/seL4/src/arch/x86/64/model/
H A Dstatedata.c16 pml4e_t x64KSKernelPML4[BIT(PML4_INDEX_BITS)] ALIGN(BIT(seL4_PML4Bits)) VISIBLE;
37 word_t x64KSIRQStack[CONFIG_MAX_NUM_NODES][IRQ_STACK_SIZE + 2] ALIGN(64) VISIBLE SKIM_BSS;
H A Dsmp.c18 nodeInfo_t node_info[CONFIG_MAX_NUM_NODES] ALIGN(L1_CACHE_LINE_SIZE) VISIBLE;
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/machine/
H A Dregisterset.h93 extern const register_t msgRegisters[] VISIBLE;
94 extern const register_t frameRegisters[] VISIBLE;
95 extern const register_t gpRegisters[] VISIBLE;
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/model/
H A Dstatedata.h41 extern pte_t kernel_root_pageTable[BIT(PT_INDEX_BITS)] VISIBLE;

Completed in 51 milliseconds

12