Rev 2071 | Rev 2089 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2071 | Rev 2082 | ||
---|---|---|---|
Line 50... | Line 50... | ||
50 | */ |
50 | */ |
51 | static inline uintptr_t get_stack_base(void) |
51 | static inline uintptr_t get_stack_base(void) |
52 | { |
52 | { |
53 | uintptr_t v; |
53 | uintptr_t v; |
54 | 54 | ||
55 | __asm__ volatile ("andq %%rsp, %0\n" : "=r" (v) : "0" (~((uint64_t)STACK_SIZE-1))); |
55 | asm volatile ("andq %%rsp, %0\n" : "=r" (v) : "0" (~((uint64_t)STACK_SIZE-1))); |
56 | 56 | ||
57 | return v; |
57 | return v; |
58 | } |
58 | } |
59 | 59 | ||
60 | static inline void cpu_sleep(void) { __asm__ volatile ("hlt\n"); }; |
60 | static inline void cpu_sleep(void) { __asm__ volatile ("hlt\n"); }; |