Searched refs:ddc_cap_t (Results 1 – 2 of 2) sorted by relevance
260 typedef void *__capability ddc_cap_t; typedef315 ddc_cap_t ddc_el0;
382 static inline ddc_cap_t read_ddc_el0 (void) in read_ddc_el0()384 ddc_cap_t val = NULL; in read_ddc_el0()