core_num__u64__to_le_bytes
core_num__u64__to_le_bytes(
core_num__u64__to_le_bytes(
core_num__u64__to_le_bytes(
core_num__u64__to_le_bytes(
core_num__u64__to_le_bytes(
core_num__u64__to_le_bytes(
core_num__u64__to_le_bytes(
core_num__u64__to_le_bytes(
core_num__u64__to_le_bytes(
core_num__u64__to_le_bytes(
static inline void core_num__u64__to_le_bytes(uint64_t x0, uint8_t x1[8U]);