Searched refs:VKI_NT_PLATFORM (Results 1 – 2 of 2) sorted by relevance
947 add_note(&old_notes, VKI_NT_PLATFORM, platform, in VG_()979 add_note(&new_notes, VKI_NT_PLATFORM, platform, in VG_()
397 #define VKI_NT_PLATFORM NT_PLATFORM macro