Searched refs:uint128_t (Results 1 – 4 of 4) sorted by relevance
272 static inline uint128_t284 return (((uint128_t)hi) << 64) + lo; in __read128()288 static uint128_t294 uint128_t result = 0; in ml_phys_read_data()487 uint128_t493 uint128_t506 __write128(vm_address_t addr, uint128_t data) in __write128()521 ml_phys_write_data(pmap_paddr_t paddr, uint128_t data, int size) in ml_phys_write_data()707 ml_phys_write_quad(vm_offset_t paddr, uint128_t data) in ml_phys_write_quad()713 ml_phys_write_quad_64(addr64_t paddr64, uint128_t data) in ml_phys_write_quad_64()
668 typedef unsigned __int128 uint128_t; typedef671 uint128_t ml_phys_read_quad(673 uint128_t ml_phys_read_quad_64(678 vm_offset_t paddr, uint128_t data);680 addr64_t paddr, uint128_t data);
1000 typedef __uint128_t uint128_t; typedef1006 uint128_t q[16];1020 uint128_t q[32];
635 uint128_t val128;