Lines Matching defs:platform_id
21 uint32_t platform_id, platform_version;
47 switch (platform_id) {
66 platform_id = FIELD_GET(PLATFORM_MASK, version);
69 if (platform_id == VERSAL_NET_QEMU_COSIM) {
70 platform_id = VERSAL_NET_QEMU;
73 if ((platform_id == VERSAL_NET_SPP) ||
74 (platform_id == VERSAL_NET_EMU) ||
75 (platform_id == VERSAL_NET_QEMU)) {
87 VERBOSE("Platform id: %d version: %d.%d\n", platform_id,
95 switch (platform_id) {