Searched refs:VM_TOMBSTONES_SERVICE_PORT (Results 1 – 1 of 1) sorted by relevance
34 const unsigned int VM_TOMBSTONES_SERVICE_PORT = 2000; variable73 .svm_port = VM_TOMBSTONES_SERVICE_PORT, in connect_tombstone_server_microdroid()