-
(forgot to git add utcb header) Syscall (hypercall?) codes are in include/lcd-domains/syscall.h. Added syscall code accessor macro to lcd-domains-arch.h. Fixed capability register accessor macros to use %rbx.
c351910d
(forgot to git add utcb header) Syscall (hypercall?) codes are in include/lcd-domains/syscall.h. Added syscall code accessor macro to lcd-domains-arch.h. Fixed capability register accessor macros to use %rbx.