path: root/tulsa.h

void tulsa_decode_model(u64 status, u64 misc);