Searched refs:stack_address (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/kernel/include/arch/arm/arch/32/mode/smp/
H A Dsmp.h21 word_t stack_address; local
22 asm("mov %[stack_address], %[currStackAddress]" : [stack_address] "=r"(stack_address) : [currStackAddress] "r"(&stack_address):);
23 return stack_address;
/seL4-test-master/kernel/include/arch/x86/arch/32/mode/model/
H A Dsmp.h18 asm("movl %[stack_address], %[result]" : [result] "=r"(result) : [stack_address] "r"(&stack));
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/
H A Dmachine.h196 static inline void setKernelStack(word_t stack_address) argument
199 writeTPIDR_EL2(stack_address);
201 writeTPIDR_EL1(stack_address);
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/
H A Dmachine.h290 static inline void setKernelStack(word_t stack_address) argument
297 writeHTPIDR(stack_address);
299 writeTPIDRPRW(stack_address);
/seL4-test-master/kernel/include/arch/x86/arch/64/mode/
H A Dmachine.h130 asm volatile("movq %[stack_address], %[result]" : [result] "=r"(result) : [stack_address] "r"(&stack));

Completed in 84 milliseconds