Searched refs:uint128_t (Results 1 – 4 of 4) sorted by relevance
300 static inline uint128_t312 return (((uint128_t)hi) << 64) + lo; in __read128()316 static uint128_t322 uint128_t result = 0; in ml_phys_read_data()513 uint128_t519 uint128_t532 __write128(vm_address_t addr, uint128_t data) in __write128()547 ml_phys_write_data(pmap_paddr_t paddr, uint128_t data, int size) in ml_phys_write_data()731 ml_phys_write_quad(vm_offset_t paddr, uint128_t data) in ml_phys_write_quad()737 ml_phys_write_quad_64(addr64_t paddr64, uint128_t data) in ml_phys_write_quad_64()
545 typedef unsigned __int128 uint128_t; typedef548 uint128_t ml_phys_read_quad(550 uint128_t ml_phys_read_quad_64(555 vm_offset_t paddr, uint128_t data);557 addr64_t paddr, uint128_t data);
1008 typedef __uint128_t uint128_t; typedef1014 uint128_t q[16];1028 uint128_t q[32];
635 uint128_t val128;