-
For portability and speed, arch-indep code should use arch-dep macros (in lcd-domains-arch.h) for accessing message registers. For x86, lcd does ipc by populating the appropriate message registers and executing a vmcall. For now, we assume the only reason an lcd would execute a vmcall is for ipc.
617b1f6e