rdt_pseudo_lock_release
static inline void rdt_pseudo_lock_release(void) { }
void rdt_pseudo_lock_release(void)