Searched defs:x00 (Results 1 – 7 of 7) sorted by relevance
54 0x00, constant
961 double x00 = m0[0]; in orthogonalizeMatrix() local
463 uint8_t *x00 = input + (uint32_t)6U; in Hacl_EC_Format_fexpand() local
418 uint8_t *x00 = input + (uint32_t)6U; in Hacl_EC_Format_fexpand() local
1035 LLVMValueRef x00 = NULL, x01 = NULL, x10 = NULL, x11 = NULL; in lp_build_sample_image_linear() local