Searched refs:XEN_IOPORT_PRODNUM (Results 1 – 2 of 2) sorted by relevance
17 #define XEN_IOPORT_PRODNUM (XEN_IOPORT_BASE + 2) /* 2 byte access (W) */ macro
56 outw(XEN_IOPORT_LINUX_PRODNUM, XEN_IOPORT_PRODNUM); in check_platform_magic()