-/*
- * Kernel machine dependent macros for mach rpc
- *
- * User args (argv) begin two words above the frame pointer (past saved ebp
- * and return address) on the user stack. Return code is stored in register
- * ecx, by convention (must be a caller-saves register, to survive return
- * from server work function). The user space instruction pointer is eip,
- * and the user stack pointer is uesp.
- */
-#define MACH_RPC_ARGV(act) ( (char *)(USER_REGS(act)->ebp + 8) )
-#define MACH_RPC_RET(act) ( USER_REGS(act)->ecx )
-#define MACH_RPC_FUNC(act) ( USER_REGS(act)->edx )
-#define MACH_RPC_SIG(act) ( USER_REGS(act)->edi )
-#define MACH_RPC_UIP(act) ( USER_REGS(act)->eip )
-#define MACH_RPC_USP(act) ( USER_REGS(act)->uesp )
-#define MACH_RPC_RETADDR(sp) ( *((int *)sp - 1) )