Macro define_aarch64_tcb_switch

define_aarch64_tcb_switch!() { /* proc-macro */ }