//// Definitions used within VX environments// to invoke VX system calls and parent calls.//#ifndef _VXSYS_H_#define _VXSYS_H_// VX parent-calls take the parent-call code and flags in EAX,// If the VXPC_SENDBUF flag is set, EBX points to a message to send// and EDX contains the message's length in bytes.// The ECX register cannot be used for call or return arguments,// as it is used as a temporary by the SYSCALL instruction.// All other registers are simple register arguments to the parent.#define VXPCALL(a, s1, s2, r1, r2) \	asm volatile("syscall" \		: "=a" (a), "=b" (s1), "=d" (s2) \		: "a" (a), "b" (s1), "d" (s2), "S" (r1), "D" (r2) \		: "ecx");static inline void vxsetperm(void *addr, size_t size, int perm){	asm volatile("syscall"		: 		: "a" (VXSYS_SETPERM), "b" (addr), "d" (size), "S" (perm)		: "ecx");}#endif	// _VXSYS_H_