; assembly                                                                                                                                                                               | /* r2dec pseudo code output */
                                                                                                                                                                                             | /* balb_controlmanager.t/assume @ 0x40fd80 */
                                                                                                                                                                                             | #include <stdint.h>
                                                                                                                                                                                             |  
    ; (fcn) method.BloombergLP::bslmt::ThreadUtilImpl_BloombergLP::bslmt::Platform::PosixThreads_.getMinSchedulingPriority_BloombergLP::bslmt::ThreadAttributes::SchedulingPolicy_ ()        | int64_t method_BloombergLP::bslmt::ThreadUtilImpl_BloombergLP::bslmt::Platform::PosixThreads_getMinSchedulingPriority_BloombergLP::bslmt::ThreadAttributes::SchedulingPolicy_ (int64_t arg1) {
                                                                                                                                                                                             |     rdi = arg1;
                                                                                                                                                                                             |     /* BloombergLP::bslmt::ThreadUtilImpl<BloombergLP::bslmt::Platform::PosixThreads>::getMinSchedulingPriority(BloombergLP::bslmt::ThreadAttributes::SchedulingPolicy) */
    0x0040fd80 movsxd rax, edi                                                                                                                                                               |     rax = (int64_t) edi;
    0x0040fd83 mov edi, dword [rax*4 + 0x438ab8]                                                                                                                                             |     edi = *((rax*4 + 0x438ab8));
    0x0040fd8a jmp 0x404aa0                                                                                                                                                                  |     return sched_get_priority_min ();
                                                                                                                                                                                             | }