Searched refs:__cpusetid_t (Results 1 – 2 of 2) sorted by relevance
| /device/linaro/bootloader/arm-trusted-firmware/include/lib/stdlib/sys/ | ||
| D | _types.h | 68 typedef int __cpusetid_t; /* cpuset identifier. */ typedef |
| D | types.h | 81 typedef __cpusetid_t cpusetid_t; |