Rev 1856 | Rev 1864 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1856 | Rev 1860 | ||
|---|---|---|---|
| Line 328... | Line 328... | ||
| 328 | extern uint64_t read_from_ag_g7(void); |
328 | extern uint64_t read_from_ag_g7(void); |
| 329 | extern void write_to_ag_g6(uint64_t val); |
329 | extern void write_to_ag_g6(uint64_t val); |
| 330 | extern void write_to_ag_g7(uint64_t val); |
330 | extern void write_to_ag_g7(uint64_t val); |
| 331 | extern void write_to_ig_g6(uint64_t val); |
331 | extern void write_to_ig_g6(uint64_t val); |
| 332 | 332 | ||
| - | 333 | extern void switch_to_userspace(uint64_t pc, uint64_t sp); |
|
| - | 334 | ||
| 333 | #endif |
335 | #endif |
| 334 | 336 | ||
| 335 | /** @} |
337 | /** @} |
| 336 | */ |
338 | */ |