IDENT(BUSC_PCI_RESERVE, m1_i1)
IDENT(SYS_GETINFO, m_type)
IDENT(SYS_INT86, m1_p1)
IDENT(SYS_PADCONF, PADCONF_MASK)
IDENT(SYS_PADCONF, PADCONF_PADCONF)
IDENT(SYS_PADCONF, PADCONF_VALUE)
IDENT(SYS_RUNCTL, RC_ACTION)
IDENT(SYS_RUNCTL, RC_ENDPT)
IDENT(SYS_RUNCTL, RC_FLAGS)
IDENT(SYS_TIMES, m_type)
IDENT(SYS_UPDATE, SYS_UPD_DST_ENDPT)
IDENT(SYS_UPDATE, SYS_UPD_SRC_ENDPT)
IDENT(SYS_VMCTL, SVMCTL_MAP_VIR_ADDR)
IDENT(SYS_VMCTL, SVMCTL_PARAM)
IDENT(SYS_VMCTL, SVMCTL_PTROOT)
IDENT(SYS_VMCTL, SVMCTL_PTROOT_V)
IDENT(SYS_VMCTL, SVMCTL_VALUE)
IDENT(SYS_VMCTL, SVMCTL_WHO)
IDENT(SYS_VTIMER, VT_ENDPT)
IDENT(SYS_VTIMER, VT_SET)
IDENT(SYS_VTIMER, VT_VALUE)
IDENT(SYS_VTIMER, VT_WHICH)
IDENT(VM_EXIT, VME_ENDPOINT)
IDENT(VM_FORK, VMF_ENDPOINT)
IDENT(VM_FORK, VMF_SLOTNO)
IDENT(VM_MUNMAP, VMUM_ADDR)
IDENT(VM_MUNMAP, VMUM_LEN)
IDENT(VM_NOTIFY_SIG, VM_NOTIFY_SIG_ENDPOINT)
IDENT(VM_NOTIFY_SIG, VM_NOTIFY_SIG_IPC)
IDENT(VM_PROCCTL, VMPCTL_FLAGS)
IDENT(VM_PROCCTL, VMPCTL_LEN)
IDENT(VM_PROCCTL, VMPCTL_M1)
IDENT(VM_PROCCTL, VMPCTL_PARAM)
IDENT(VM_PROCCTL, VMPCTL_WHO)
IDENT(VM_RS_MEMCTL, VM_RS_CTL_ENDPT)
IDENT(VM_RS_MEMCTL, VM_RS_CTL_REQ)
IDENT(VM_RS_SET_PRIV, VM_RS_BUF)
IDENT(VM_RS_SET_PRIV, VM_RS_NR)
IDENT(VM_RS_SET_PRIV, VM_RS_SYS)
IDENT(VM_WILLEXIT, VMWE_ENDPOINT)