Searched refs:MACHINE_STACK_TOP (Results 1 - 2 of 2) sorted by relevance

/seL4-test-master/tools/riscv-pk/machine/
H A Dmtrap.h51 #define MACHINE_STACK_TOP() ({ \ macro
56 #define HLS() ((hls_t*)(MACHINE_STACK_TOP() - HLS_SIZE))
H A Dminit.c217 write_csr(mscratch, MACHINE_STACK_TOP() - MENTRY_FRAME_SIZE);
219 uintptr_t *p_fcsr = MACHINE_STACK_TOP() - MENTRY_FRAME_SIZE; // the x0's save slot
235 write_csr(mscratch, MACHINE_STACK_TOP() - MENTRY_FRAME_SIZE);

Completed in 88 milliseconds