; assembly                                                                                                                                                                               | /* r2dec pseudo code output */
                                                                                                                                                                                             | /* balb_controlmanager.t/assume @ 0x40fd70 */
                                                                                                                                                                                             | #include <stdint.h>
                                                                                                                                                                                             |  
    ; (fcn) method.BloombergLP::bslmt::ThreadUtilImpl_BloombergLP::bslmt::Platform::PosixThreads_.getMaxSchedulingPriority_BloombergLP::bslmt::ThreadAttributes::SchedulingPolicy_ ()        | int64_t method_BloombergLP::bslmt::ThreadUtilImpl_BloombergLP::bslmt::Platform::PosixThreads_getMaxSchedulingPriority_BloombergLP::bslmt::ThreadAttributes::SchedulingPolicy_ (int64_t arg1) {
                                                                                                                                                                                             |     rdi = arg1;
                                                                                                                                                                                             |     /* BloombergLP::bslmt::ThreadUtilImpl<BloombergLP::bslmt::Platform::PosixThreads>::getMaxSchedulingPriority(BloombergLP::bslmt::ThreadAttributes::SchedulingPolicy) */
    0x0040fd70 movsxd rax, edi                                                                                                                                                               |     rax = (int64_t) edi;
    0x0040fd73 mov edi, dword [rax*4 + 0x438ab8]                                                                                                                                             |     edi = *((rax*4 + 0x438ab8));
    0x0040fd7a jmp 0x404990                                                                                                                                                                  |     return sched_get_priority_max ();
                                                                                                                                                                                             | }