Searched defs:CPTR_NULL (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/include/barrelfish_kpi/
H A Dtypes.h22 #define CPTR_NULL ((capaddr_t)0) macro

Completed in 29 milliseconds