/include/semihosting/

• ../
• common-semi.h
• console.h
• guestfd.h
• semihost.h
• syscalls.h
• uaccess.h