Constant K_SYSCALL_SDHC_CARD_PRESENT 

pub const K_SYSCALL_SDHC_CARD_PRESENT: u32 = 501;