* <!-- description --> * @brief Copies "num" bytes from "src" to "dst". If "src" or "dst" are * NULLPTR, returns LOADER_FAILURE, otherwise returns 0. * * <!-- inputs/outputs --> * @param pmut_dst a pointer to the memory to copy to * @param src a pointer to the memory to copy from * @param num the number of bytes to copy */
| 238 | * @param num the number of bytes to copy |
| 239 | */ |
| 240 | void |
| 241 | platform_memcpy( |
| 242 | void *const pmut_dst, void const *const src, uint64_t const num) NOEXCEPT |
| 243 | { |
| 244 | platform_expects(NULLPTR != pmut_dst); |
| 245 | platform_expects(NULLPTR != src); |
| 246 | |
| 247 | memcpy(pmut_dst, src, num); |
| 248 | } |
| 249 | |
| 250 | /** |
| 251 | * <!-- description --> |
nothing calls this directly
no test coverage detected