Lines Matching refs:__hv64

333 typedef u64 __hv64;        /**< 64-bit value */  typedef
337 typedef uint64_t __hv64;   /**< 64-bit value */  typedef
342 typedef __hv64 HV_PhysAddr;
346 typedef __hv64 HV_VirtAddr;
367   __hv64 val;                /**< Value of PTE */
695   __hv64 tm_sec;   /**< Seconds, 0-59 */
696   __hv64 tm_min;   /**< Minutes, 0-59 */
697   __hv64 tm_hour;  /**< Hours, 0-23 */
698   __hv64 tm_mday;  /**< Day of month, 0-30 */
699   __hv64 tm_mon;   /**< Month, 0-11 */
700   __hv64 tm_year;  /**< Years since 1900, 0-199 */
701   __hv64 flags;    /**< Return flags, 0 if no error */
990   __hv64 size;         /**< Size in bytes. */
1060   __hv64 speed;     /**< Speed of this controller in bytes per second. */
1092   __hv64 size;         /**< Size in bytes. */
1405   __hv64 opaque[2]; /**< No user-serviceable parts inside */
1656                  __hv64 offset);
1699                   __hv64 offset);
1704 typedef __hv64 HV_IntArg;
1838                   HV_SGL sgl[/* sgl_len */], __hv64 offset, HV_IntArg intarg);
1884                    HV_SGL sgl[/* sgl_len */], __hv64 offset, HV_IntArg intarg);
2398   pte.val |= (__hv64) val << HV_PTE_INDEX_PTFN;  in hv_pte_set_ptfn()
2406   return (__hv64) hv_pte_get_ptfn(pte) << HV_LOG2_PAGE_TABLE_ALIGN;  in hv_pte_get_pa()