Line data    Source code

       1             : /**
       2             :  * The MIT License (MIT)
       3             :  *
       4             :  * Copyright (c) 2021 RSK Labs Ltd
       5             :  *
       6             :  * Permission is hereby granted, free of charge, to any person obtaining a copy
       7             :  * of this software and associated documentation files (the "Software"), to
       8             :  * deal in the Software without restriction, including without limitation the
       9             :  * rights to use, copy, modify, merge, publish, distribute, sublicense, and/or
      10             :  * sell copies of the Software, and to permit persons to whom the Software is
      11             :  * furnished to do so, subject to the following conditions:
      12             :  *
      13             :  * The above copyright notice and this permission notice shall be included in
      14             :  * all copies or substantial portions of the Software.
      15             :  *
      16             :  * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
      17             :  * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
      18             :  * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
      19             :  * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
      20             :  * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
      21             :  * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
      22             :  * IN THE SOFTWARE.
      23             :  */
      24             : 
      25             : #include "os.h"
      26             : #include "hal/platform.h"
      27             : #include "hal/exceptions.h"
      28             : 
      29           1 : void platform_memmove(void *dst, const void *src, unsigned int length) {
      30           1 :     os_memmove(dst, src, length);
      31           1 : }
      32             : 
      33           2 : void platform_request_exit() {
      34             :     BEGIN_TRY_L(exit) {
      35           2 :         TRY_L(exit) {
      36           2 :             os_sched_exit(-1);
      37             :         }
      38           1 :         CATCH_ALL_L(exit) {
      39             :         }
      40           1 :         FINALLY_L(exit) {
      41             :         }
      42             :     }
      43           2 :     END_TRY_L(exit);
      44           2 : }
      45             : 
      46           1 : const char *platform_get_id() {
      47           1 :     return "led";
      48             : }
      49             : 
      50           1 : uint64_t platform_get_timestamp() {
      51           1 :     return (uint64_t)0;
      52             : }