Open Menu / tests / exclavecore_support.c
Loading...
 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
//
//  exclavecore_support.c
//  libmalloc
//
//  Minirunner support for running darwintests in exclavecore
//

#include <stdio.h>
#include <darwintest.h>
#include <stdlib.h>
#include <string.h>

#include <platform/platform.h>
#include <platform/plat.h>
#include <vas/vas.h>
#include <xrt/endpoint.h>
#include <xnuproxy/xnuproxy.h>

#include <sharedmem/sharedmem.h>

LIBLIBC_PLAT_EP(hello_endpoint, "HelloExclave");
static xrt_endpoint_t hello_xrt_endpoint;

static xrt_thread_t *main_thrd = NULL;

extern void minirunner_exclave(void);

static L4_MessageTag_t endpoint_thread(void *ctx, L4_MessageTag_t tag,
                                       L4_Word_t badge) {
    printf("[HELLO-C] ipcb %p tag %lx badge %lx\n", L4_IpcBuffer(), tag, badge);
    return L4_MessageTag(0, 0, L4_MessageTag_Label(tag) + 1, L4_False);
}

static int run_tests(void *arg) {
    /* Call the minirunner to start executing all tests */
    minirunner_exclave();
    return 0;
}

int xrt_init(void) {
    xrt_endpoint_config_t config = {
        .handler = endpoint_thread,
        .handler_ctx = NULL,
        .num_handlers = 1,
        .num_src_slots = 0,
        .num_dst_slots = 0,
    };
    if (hello_endpoint.ep_cap != L4_Nil) {
        printf("Spawning endpoint listener thread...\n");
        xrt_endpoint_create(&hello_xrt_endpoint, hello_endpoint.ep_cap, &config);
    } else {
        printf("Skipping endpoint listener thread due to nil cap!\n");
    }

    if (L4_Platform_Major(xrt__plat_get()) == L4_Platform_EVP) {
        printf("Spawning main thread...\n");
        xrt_thread_create(&main_thrd, run_tests, NULL);
    }
    return 0;
}

// TODO: Remove this when rdar://118895397 is fixed
T_HELPER_DECL(do_nothing, "Put the __dt_helper section into the output binary")
{

}