Searched defs:at_platform (Results 1 – 2 of 2) sorted by relevance
54 uint32_t tcb_at_platform, at_platform; in check_tcbhwcap() local
77 uint32_t at_platform; member82 uint32_t at_platform; member