pal.map 1.5 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253
  1. GLIBC {
  2. global:
  3. _r_debug; _dl_debug_state;
  4. };
  5. PAL {
  6. global:
  7. # Drawbridge ABIs
  8. DkVirtualMemoryAlloc; DkVirtualMemoryFree; DkVirtualMemoryProtect;
  9. DkThreadCreate; DkThreadDelayExecution;
  10. DkThreadYieldExecution; DkThreadExit; DkThreadResume;
  11. DkSemaphoreCreate; DkNotificationEventCreate;
  12. DkSynchronizationEventCreate;
  13. DkSemaphoreRelease;
  14. DkEventSet; DkEventClear;
  15. DkObjectsWaitAny;
  16. DkStreamOpen; DkStreamRead; DkStreamWrite;
  17. DkStreamMap; DkStreamUnmap; DkStreamSetLength;
  18. DkStreamFlush; DkStreamDelete;
  19. DkSendHandle; DkReceiveHandle; # Added by us
  20. DkStreamWaitForClient;
  21. DkStreamGetName;
  22. DkStreamAttributesQuerybyHandle; DkStreamAttributesQuery;
  23. DkProcessCreate; DkProcessExit;
  24. DkProcessSandboxCreate;
  25. DkSystemTimeQuery; DkRandomBitsRead;
  26. DkInstructionCacheFlush;
  27. DkObjectReference; DkObjectClose;
  28. # objects checkpoint?
  29. # objects reload?
  30. # The ABIs we added in the paper
  31. DkSetExceptionHandler; DkExceptionReturn; # exceptions
  32. DkCreatePhysicalMemoryChannel; # IPC
  33. DkPhysicalMemoryCommit; # IPC
  34. DkPhysicalMemoryMap; # IPC
  35. DkSegmentRegister; # set segmentation registers
  36. DkStreamChangeName;
  37. DkStreamAttributesSetbyHandle;
  38. DkMemoryAvailableQuota;
  39. # Debugging ABIs
  40. pal_printf; DkDebugAttachBinary; DkDebugDetachBinary;
  41. # Control block
  42. pal_control_addr; pal_sec;
  43. local: *;
  44. };